Jenkins: run tests in random order

Schedule tests in random order to improve load balance over time and therefor improve speed.

diff --git a/contrib/ci/Jenkinsfile.mpi b/contrib/ci/Jenkinsfile.mpi
index 48420993821f055d634ed3a69412c4b1e8606895..860a58f6e48b7ee79908c1e2712dfc829b131c58 100644 (file)
--- 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|multigrid/transfer|matrix_free/matrix_" --output-on-failure -j $NP --no-compress-output -T test
+                  time ctest -R "all-headers|multigrid/transfer|matrix_free/matrix_" --output-on-failure --schedule-random -j $NP --no-compress-output -T test
                  '''
               githubNotify context: 'Jenkins: MPI', description: 'OK',  status: 'SUCCESS'
             }