fewer cores

diff --git a/Jenkinsfile b/Jenkinsfile
index d7a9a314bfbf610c8bf58b713eac62e9f38dda19..a339c3335fb0e500420520574fec4d356230fc60 100644 (file)
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -56,7 +56,7 @@ pipeline
        # Ubuntu 20.04 only ships cmake 3.16 not 3.17:
        echo 'PACKAGES="once:cmake ${PACKAGES}"' > local.cfg
        rm -rf $WORKSPACE/install
-        ./candi.sh -j 10 -p $WORKSPACE/install
+        ./candi.sh -j 8 -p $WORKSPACE/install
         cp $WORKSPACE/install/tmp/build/deal.II-*/detailed.log detailed-ubuntu2004.log
         '''
        archiveArtifacts artifacts: 'detailed-ubuntu2004.log', fingerprint: true
@@ -87,7 +87,7 @@ pipeline
        cmake --version
        rm -f local.cfg
        rm -rf $WORKSPACE/install/
-        ./candi.sh -j 10 -p $WORKSPACE/install
+        ./candi.sh -j 8 -p $WORKSPACE/install
         cp $WORKSPACE/install/tmp/build/deal.II-*/detailed.log detailed-ubuntu2204.log
         '''
        archiveArtifacts artifacts: 'detailed-ubuntu2204.log', fingerprint: true