projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1909b36) | patch
Only run regress0 for static build (#7592)
authorGereon Kremer <nafur42@gmail.com>
Sat, 6 Nov 2021 01:05:58 +0000 (18:05 -0700)
committerGitHub <noreply@github.com>
Sat, 6 Nov 2021 01:05:58 +0000 (01:05 +0000)
commit733ab2f6b9430b2ae5824e2614de5811a60033f3
tree87385312209266de9c73d4a4ed4c35690c1945e2tree
parent1909b36e01578099d7a773e561b4bec15c067580commit | diff
Only run regress0 for static build (#7592)

It is surprisingly tricky to call ctest properly with multiple -LE arguments (and I actually doubt that the CI version of ctest adheres to its documentation). This PR avoid calling make check (which sets -LE regress[3-4] as a default) and calls ctest directly.
.github/actions/run-tests/action.yml diff | blob | history