ca95ed62da
there are two modes: - user supplies OPM_DATA_ROOT directly. in this case, the supplied directory is copied into the workspace and used. - user supplies OPM_DATA_ROOT_PREDEFINED. in this case, the supplied path copied into the workspace unless a specific PR is defined in the trigger comment.
opm-common jenkins build scripts:
build-opm-module.sh: This is a helper script which contains functions for building, testing and cloning modules.
build.sh: This expects to run on a jenkins instance with opm-common as the 'origin' remote.
It will build and test opm-common. It can be used both for post-merge builds of the master branch and for a github pull request builder job.