Update ci.yml

SRI-CSL · Oct 3, 2023 · 1e8b4df · 1e8b4df
1 parent 50db6a2
commit 1e8b4df
Showing 1 changed file with 5 additions and 7 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -9,18 +9,16 @@ jobs:
     strategy:
       matrix:
         os: [ubuntu-latest]
-        mode: [debug, release]
+        mode: [debug, release, gcov]
         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' }}
-        include:
-          - os: ubuntu-latest
-            mode: gcov
-            config-opt: --enable-mcsat
-            env: CC=gcc CXX=g++
         exclude:
           - is-per-thread-state-branch: true
+          - mode: gcov
+            config-opt: --enable-thread-safety
+            env: CC=clang CXX=clang++
 
     name: ${{ matrix.os }}|${{ matrix.mode }}|${{ matrix.config-opt }}|${{ matrix.env }}
     runs-on: ${{ matrix.os }}
@@ -48,7 +46,7 @@ jobs:
       uses: ./.github/actions/coverage
 
     - name: Coveralls
-      if: matrix.mode == 'gcov' && !matrix.is-per-thread-state-branch
+      if: matrix.mode == 'gcov'
       uses: coverallsapp/github-action@master
       with:
         github-token: ${{ secrets.GITHUB_TOKEN }}