Update ci.yml

try
SRI-CSL · Oct 3, 2023 · 4cf9b5d · 4cf9b5d
1 parent 4731335
commit 4cf9b5d
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -12,9 +12,10 @@ jobs:
         mode: [debug, release]
         config-opt: [--enable-mcsat, --enable-thread-safety]
         env: [CC=gcc CXX=g++, CC=clang CXX=clang++]
+        is-per-thread-state-branch: 
+          - ${{ github.ref == 'refs/heads/per-thread-state' }}
         exclude:
-          - if: github.ref == 'refs/heads/per-thread-state'
-            config-opt: --enable-mcsat        
+          - is-per-thread-state-branch: true
         include:
           - os: ubuntu-latest
             mode: gcov