Update ci.yml

try 3
SRI-CSL · Oct 3, 2023 · 34f533a · 34f533a
1 parent ff2a84e
commit 34f533a
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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