From 1e8b4df9d37379a35b1232843298ca2a550ffc04 Mon Sep 17 00:00:00 2001
From: Ahmed <43099566+ahmed-irfan@users.noreply.github.com>
Date: Tue, 3 Oct 2023 16:48:54 -0700
Subject: [PATCH] Update ci.yml

---
 .github/workflows/ci.yml | 12 +++++-------
 1 file changed, 5 insertions(+), 7 deletions(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 31df628a2..6e142aa97 100644
--- 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 }}