94266d37fc
use 'jenkins build this with downstreams please'. this will build all downstreams against the PR, and execute their tests. PR's for upstream and downstream modules can be specified. the aggregated test results are attached to the job result on jenkins.
opm-core jenkins build scripts:
build-opm-core.sh: This is a helper script which contains a function for building, testing and cloning opm-core and its dependencies.
build.sh: This script will build dependencies, then build opm-core and execute its tests. It is intended for post-merge builds of the master branch.
build-pr.sh: This script will build dependencies, then build opm-core and execute its tests. It inspects the $ghbPrBuildComment environmental variable to obtain a pull request to use for ert, opm-common, opm-parser and opm-material (defaults to master) and then builds $sha1 of opm-core. It is intended for pre-merge builds of pull requests.
You can optionally specify a given pull request to use for ert, opm-common, opm-parser and opm-material through the trigger. The trigger line needs to contain ert=<pull request number> and/or opm-common=<pull request number> and/or opm-parser=<pull request number> and/or opm-material=<pull request number>.