]> https://gitweb.dealii.org/ - dealii.git/commitdiff
jenkins: test in random order 15598/head
authorTimo Heister <timo.heister@gmail.com>
Sun, 2 Jul 2023 22:04:35 +0000 (18:04 -0400)
committerTimo Heister <timo.heister@gmail.com>
Sun, 2 Jul 2023 22:04:35 +0000 (18:04 -0400)
contrib/ci/Jenkinsfile.mpi
contrib/ci/Jenkinsfile.serial

index ffb4f3a49dd58dd17b8d9cc6cc7ee1a1f5d505d8..15751e98c9c12934871f08746e1dda723c3756e5 100644 (file)
@@ -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'
             }
index 810e626cd443e36c86aeb6ffbdda07fbd8d92814..1b10c8e32f16e958df01d7fe8cf97745c94e4955 100644 (file)
@@ -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'
             }

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.