opm-simulators/jenkins

opm-autodiff jenkins build scripts:

build-opm-autodiff.sh: This is a helper script which contains functions for building, testing and cloning opm-autodiff and its dependencies.

build.sh: This script will build dependencies, then build opm-autodiff 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-autodiff and execute its tests. It inspects the $ghbPrBuildComment environmental variable to obtain a pull request to use for ert, opm-common, opm-parser, opm-material, opm-core and dune-cornerpoint (defaults to master) and then builds $sha1 of opm-autodiff.

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, opm-material, opm-core and dune-cornerpoint 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> and/or opm-core=<pull request number> and/or dune-cornerpoint=<pull request number> and/or opm-output=<pull request number>.