Update ci.yml

SRI-CSL · Oct 3, 2023 · cc70976 · cc70976
1 parent 4cf9b5d
commit cc70976
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -17,7 +17,8 @@ jobs:
         exclude:
           - is-per-thread-state-branch: true
         include:
-          - os: ubuntu-latest
+          - if: github.ref != 'refs/heads/per-thread-state'
+            os: ubuntu-latest
             mode: gcov
             config-opt: --enable-mcsat
             env: CC=gcc CXX=g++