Bring back cvc5 CI

formalsec · Aug 20, 2024 · 4dd0e4e · 4dd0e4e
1 parent 37793bd
commit 4dd0e4e
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/test-cvc5.yml.disabled → .github/workflows/test-cvc5.yml b/.github/workflows/test-cvc5.yml.disabled → .github/workflows/test-cvc5.yml
@@ -12,6 +12,7 @@ jobs:
   test-cvc5:
     runs-on: ubuntu-latest
     env:
+      OPAMJOBS: 4
       OPAMCONFIRMLEVEL: unsafe-yes
     steps:
       - name: Checkout