From: Timo Heister <timo.heister@gmail.com>
Date: Sun, 2 Jul 2023 22:04:35 +0000 (-0400)
Subject: jenkins: test in random order
X-Git-Tag: relicensing~798^2
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=277853d3dc285604f2161b288d79223e6627b74e;p=dealii.git

jenkins: test in random order
---

diff --git a/contrib/ci/Jenkinsfile.mpi b/contrib/ci/Jenkinsfile.mpi
index ffb4f3a49d..15751e98c9 100644
--- a/contrib/ci/Jenkinsfile.mpi
+++ b/contrib/ci/Jenkinsfile.mpi
@@ -110,7 +110,7 @@ pipeline
                   time ninja test # quicktests
                   time ctest --rerun-failed --output-on-failure -R quick_tests/
                   time ninja setup_tests
-                  time ctest -R "all-headers|mpirun" --output-on-failure --schedule-random -j $NP --no-compress-output -T test
+                  time ctest -R "all-headers|mpirun" --schedule-random --output-on-failure --schedule-random -j $NP --no-compress-output -T test
                  '''
               githubNotify context: 'Jenkins: MPI', description: 'OK',  status: 'SUCCESS'
             }
diff --git a/contrib/ci/Jenkinsfile.serial b/contrib/ci/Jenkinsfile.serial
index 810e626cd4..1b10c8e32f 100644
--- a/contrib/ci/Jenkinsfile.serial
+++ b/contrib/ci/Jenkinsfile.serial
@@ -110,7 +110,7 @@ pipeline
                   time ninja -j 10 # 12 gives OOM
                   time ninja test # quicktests
                   time ninja setup_tests
-                  time ctest --output-on-failure -j $NP --no-compress-output -T test
+                  time ctest --schedule-random --output-on-failure -j $NP --no-compress-output -T test
                  '''
               githubNotify context: 'Jenkins: serial', description: 'OK',  status: 'SUCCESS'
             }