Update ci.yml

trying
SRI-CSL · Oct 3, 2023 · 8cbb288 · 8cbb288
1 parent 4b2d5ce
commit 8cbb288
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -6,7 +6,6 @@ on:
 
 jobs:
   build:
-    if: github.ref != 'refs/heads/per-thread-state'
     strategy:
       matrix:
         os: [ubuntu-latest]
@@ -22,6 +21,8 @@ jobs:
     name: ${{ matrix.os }}|${{ matrix.mode }}|${{ matrix.config-opt }}|${{ matrix.env }}
     runs-on: ${{ matrix.os }}
 
+    if: github.ref != 'refs/heads/per-thread-state' || ${{ matrix.config-opt }} != '--enable-mcsat'
+
     steps:
     - uses: actions/checkout@v3