Update ci.yml

try 2
SRI-CSL · Oct 3, 2023 · ff2a84e · ff2a84e
1 parent 8cbb288
commit ff2a84e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -21,7 +21,7 @@ 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'
+    if: github.ref != 'refs/heads/per-thread-state' || matrix.config-opt != '--enable-mcsat'
 
     steps:
     - uses: actions/checkout@v3