projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 10308c8)
ci: Use CVC5_REGRESSION_ARGS. (#6347)
authorMathias Preiner <mathias.preiner@gmail.com>
Tue, 13 Apr 2021 20:00:29 +0000 (13:00 -0700)
committerGitHub <noreply@github.com>
Tue, 13 Apr 2021 20:00:29 +0000 (20:00 +0000)
.github/workflows/ci.yml patch | blob | history

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 6d22f9f1166614c27411a1ba6bb8d22a3cb1a7de..f3800308b73e71cc55f00e78cde8abad7879907a 100644 (file)
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -188,7 +188,7 @@ jobs:
       run: make -j2 check
       env:
         ARGS: --output-on-failure -LE regress[${{ matrix.exclude_regress }}]
-        CVC4_REGRESSION_ARGS: --no-early-exit
+        CVC5_REGRESSION_ARGS: --no-early-exit
         RUN_REGRESSION_ARGS: ${{ matrix.run_regression_args }}
       working-directory: build