From: Mathias Preiner <mathias.preiner@gmail.com>
Date: Tue, 13 Apr 2021 20:00:29 +0000 (-0700)
Subject: ci: Use CVC5_REGRESSION_ARGS. (#6347)
X-Git-Tag: cvc5-1.0.0~1915
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=7bc8ebe940cf092d66265040db48c1e4b486c73f;p=cvc5.git

ci: Use CVC5_REGRESSION_ARGS. (#6347)
---

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 6d22f9f11..f3800308b 100644
--- 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