projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a76f4ed) | patch
Rerun failed tests in CI (#8258)
authorGereon Kremer <gereon.kremer@cs.rwth-aachen.de>
Tue, 8 Mar 2022 01:29:03 +0000 (02:29 +0100)
committerGitHub <noreply@github.com>
Tue, 8 Mar 2022 01:29:03 +0000 (01:29 +0000)
commitd37a5acb57e84d9e79c10131d0eb0e916fc1da71
tree69f04172610df626c6aab0f9da5dcf9e863e2e1atree
parenta76f4ed7f169dd6f86e841edff8d2c79c3b38369commit | diff
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.
.github/actions/run-tests/action.yml diff | blob | history