From: Gereon Kremer <gereon.kremer@cs.rwth-aachen.de>
Date: Tue, 8 Mar 2022 01:29:03 +0000 (+0100)
Subject: Rerun failed tests in CI (#8258)
X-Git-Tag: cvc5-1.0.0~307
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=d37a5acb57e84d9e79c10131d0eb0e916fc1da71;p=cvc5.git

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 44c5ec9da..1498adfcd 100644
--- 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 }}