Files
opm-common/jenkins
Joakim Hove 6883c8ae21 Merge pull request #401 from akva2/slow_updates
changed: manually merge pr's to work around slow updating merge refs
2018-05-23 09:11:42 +02:00
..
2016-04-04 09:21:44 +02:00
2016-04-04 09:21:44 +02:00
2016-04-04 09:21:44 +02:00

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.