1007 B
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>.