add bolts tests

epfl-lara · Sep 4, 2024 · 63bd368 · 63bd368
1 parent c9e19dc
commit 63bd368
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/stainless-CI.yml b/.github/workflows/stainless-CI.yml
@@ -23,4 +23,6 @@ jobs:
       run: ./stainless-ci.sh --build-only
     - name: Run Tests and Integration Tests
       run: ./stainless-ci.sh --quick --skip-build
+    - name: Bolts Tests
+      run: ./stainless-ci.sh --bolts-only --skip-build