From 989c7634cf778ebdf9a73183f9b105db605fc686 Mon Sep 17 00:00:00 2001 From: Arne Morten Kvarving Date: Wed, 17 Dec 2025 13:00:39 +0100 Subject: [PATCH] separate cloning from building in jenkins pipeline --- jenkins/build.sh | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) diff --git a/jenkins/build.sh b/jenkins/build.sh index 1204d04..0ccfd49 100755 --- a/jenkins/build.sh +++ b/jenkins/build.sh @@ -18,9 +18,8 @@ declare -a downstreams declare -A downstreamRev # Clone opm-common -pushd . mkdir -p $WORKSPACE/deps/opm-common -cd $WORKSPACE/deps/opm-common +pushd $WORKSPACE/deps/opm-common git init . git remote add origin https://github.com/OPM/opm-common git fetch --depth 1 origin ${upstreamRev[opm-common]}:branch_to_build @@ -33,7 +32,6 @@ source $WORKSPACE/deps/opm-common/jenkins/build-opm-module.sh parseRevisions printHeader opm-upscaling -# Setup opm-data -source $WORKSPACE/deps/opm-common/jenkins/setup-opm-tests.sh +clone_repositories opm-upscaling build_module_full opm-upscaling