run all tests once

epfl-lara · Sep 6, 2024 · ad1c497 · ad1c497
1 parent c81b9d3
commit ad1c497
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/bolts-CI.yml b/.github/workflows/bolts-CI.yml
@@ -34,7 +34,7 @@ jobs:
     - name: Test solvers availability
       run: cvc5 --version && z3 --version && cvc4 --version
     - name: Bolts Tests
-      run: ./run-tests.sh --admit-vcs
+      run: ./run-tests.sh 
   fail_if_pull_request_is_draft:
     if: github.event.pull_request.draft == true
     runs-on: [self-hosted, linux]