diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index d330e75e2..18067df20 100644
--- 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