From a0b8432f304487e4e78eb68b027a149a987e1bc9 Mon Sep 17 00:00:00 2001
From: Timo Heister <timo.heister@gmail.com>
Date: Thu, 29 Dec 2022 10:25:55 -0500
Subject: [PATCH] Jenkins: run tests in random order

Schedule tests in random order to improve load balance over time and therefor improve speed.
---
 contrib/ci/Jenkinsfile.mpi | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/contrib/ci/Jenkinsfile.mpi b/contrib/ci/Jenkinsfile.mpi
index 4842099382..860a58f6e4 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|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'
             }
-- 
2.39.5