Rerun failed tests in CI (#8258)

This commit makes our CI rerun failed tests to have the error output at the bottom of the log. This simplifies retrieving the errors from CI logs.

diff --git a/.github/actions/run-tests/action.yml b/.github/actions/run-tests/action.yml
index 44c5ec9da6c43bb05d0403a6aad909e8a6222c50..1498adfcd778d9c5c804ce4045fcc0bb5f68b280 100644 (file)
--- a/.github/actions/run-tests/action.yml
+++ b/.github/actions/run-tests/action.yml
@@ -20,7 +20,10 @@ runs:
       shell: bash
       run: |
         make -j${{ env.num_proc }} build-tests
-        ctest -j${{ env.num_proc }} --output-on-failure -LE regress[${{ inputs.regressions-exclude }}]
+        if ! ctest -j${{ env.num_proc }} --output-on-failure -LE regress[${{ inputs.regressions-exclude }}]
+        then
+          ctest --output-on-failure --rerun-failed
+        fi
       env:
         CVC5_REGRESSION_ARGS: --no-early-exit
         RUN_REGRESSION_ARGS: ${{ inputs.regressions-args }}