undo

runtimeverification · Jul 22, 2024 · e0d31a0 · e0d31a0
1 parent 9fad8c4
commit e0d31a0
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/.github/workflows/test-pr.yml b/.github/workflows/test-pr.yml
@@ -139,6 +139,9 @@ jobs:
           PATH="$(brew --prefix openjdk)/bin:$PATH"
           export PATH
           mvn package -DskipTests
+          gmake --directory k-distribution/tests/regression-new \
+                --output-sync                                   \
+                --jobs "$(nproc)"
 
 
   test-package-ubuntu-jammy: