From 7bc8ebe940cf092d66265040db48c1e4b486c73f Mon Sep 17 00:00:00 2001
From: Mathias Preiner <mathias.preiner@gmail.com>
Date: Tue, 13 Apr 2021 13:00:29 -0700
Subject: [PATCH] ci: Use CVC5_REGRESSION_ARGS. (#6347)

---
 .github/workflows/ci.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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
 
-- 
2.30.2