Fix regression cram tests in CI

goblint · Aug 24, 2022 · d9f5173 · d9f5173
1 parent b309d09
commit d9f5173
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/.github/workflows/locked.yml b/.github/workflows/locked.yml
@@ -59,7 +59,7 @@ jobs:
         run: ruby scripts/update_suite.rb group apron-mukherjee -s
 
       - name: Test regression cram
-        run: opam exec -- dune runtest tests/extraction
+        run: opam exec -- dune runtest tests/regression
 
       - name: Test unit
         run: opam exec -- dune runtest unittest

diff --git a/.github/workflows/unlocked.yml b/.github/workflows/unlocked.yml
@@ -84,7 +84,7 @@ jobs:
         run: ruby scripts/update_suite.rb group apron-mukherjee -s
 
       - name: Test regression cram
-        run: opam exec -- dune runtest tests/extraction
+        run: opam exec -- dune runtest tests/regression
 
       - name: Test unit
         run: opam exec -- dune runtest unittest
@@ -163,7 +163,7 @@ jobs:
         run: ruby scripts/update_suite.rb group apron-mukherjee -s
 
       - name: Test regression cram
-        run: opam exec -- dune runtest tests/extraction
+        run: opam exec -- dune runtest tests/regression
 
       - name: Test unit
         run: opam exec -- dune runtest unittest