Repeat tests 10 times

eth-cscs · Feb 14, 2025 · 95a997f · 95a997f
1 parent 79898aa
commit 95a997f
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/ci/mpi-ctest b/ci/mpi-ctest
@@ -22,10 +22,10 @@ if [[ $SLURM_PROCID == "0" ]]; then
     echo PIKA_MPI_COMPLETION_MODE=$PIKA_MPI_COMPLETION_MODE
 
     TZ=CET date +"Run started at: %H:%M:%S %z"
-    ctest --repeat-until-fail 5 --output-log "$CTEST_OUTPUT" -V $@ | grep -v "PU.*Core.*Socket.*pool" | grep -v "MPI rank: 0" | grep -E -v "\*{70}"
+    ctest --repeat-until-fail 10 --output-log "$CTEST_OUTPUT" -V $@ | grep -v "PU.*Core.*Socket.*pool" | grep -v "MPI rank: 0" | grep -E -v "\*{70}"
     TZ=CET date +"Run finished at: %H:%M:%S %z"
 else
-    ctest --repeat-until-fail 5 --output-log "$CTEST_OUTPUT" -V -Q $@
+    ctest --repeat-until-fail 10 --output-log "$CTEST_OUTPUT" -V -Q $@
 fi
 
 # Create coverage reports for code run