238eb94caa
This way such failures won't make the build show up as failed, which may cause other tooling to behave differently (and non-optimal). |
||
---|---|---|
.. | ||
.gitignore | ||
README.md | ||
build-api-diff.sh | ||
build.sh | ||
compare.sh | ||
fetch-pr-labels.sh | ||
provision-deps.sh | ||
run-tests.sh |
README.md
Jenkins
This directory contains all the scripts to be executed as steps in the jenkins build bots for each of the PR in the project. The expected order in which they have to be executed is as follows:
- provision-deps.sh : Downloads and installs the project dependencies.
- build.sh : Builds the project.
- run-tests.sh : Runs the tests.
- build-api-diff.sh : Builds the API diff.