diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index bba0cbec4..5bf2c640a 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -20,10 +20,10 @@ 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:
+    - if: github.ref != 'refs/heads/per-thread-state' || matrix.config-opt != '--enable-mcsat'
+
     - uses: actions/checkout@v3
 
     - name: Install Dependencies