Update ci.yml

another try
SRI-CSL · Oct 3, 2023 · 4731335 · 4731335
1 parent 34f533a
commit 4731335
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -12,6 +12,9 @@ jobs:
         mode: [debug, release]
         config-opt: [--enable-mcsat, --enable-thread-safety]
         env: [CC=gcc CXX=g++, CC=clang CXX=clang++]
+        exclude:
+          - if: github.ref == 'refs/heads/per-thread-state'
+            config-opt: --enable-mcsat        
         include:
           - os: ubuntu-latest
             mode: gcov
@@ -22,8 +25,6 @@ jobs:
     runs-on: ${{ matrix.os }}
 
     steps:
-    - if: github.ref != 'refs/heads/per-thread-state' || matrix.config-opt != '--enable-mcsat'
-
     - uses: actions/checkout@v3
 
     - name: Install Dependencies