Update ci.yml

SRI-CSL · Oct 10, 2023 · e6ad076 · e6ad076
1 parent bf9511c
commit e6ad076
Showing 1 changed file with 6 additions and 2 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -10,13 +10,17 @@ jobs:
       matrix:
         os: [ubuntu-latest]
         mode: [debug, release]
-        config-opt: [--enable-mcsat, --enable-thread-safety --enable-mcsat]
+        config-opt: [--enable-mcsat, --enable-thread-safety]
         env: [CC=gcc CXX=g++, CC=clang CXX=clang++]
         include:
           - os: ubuntu-latest
             mode: gcov
             config-opt: --enable-mcsat
             env: CC=gcc CXX=g++
+          - os: ubuntu-latest
+            mode: debug
+            config-opt: --enable-thread-safety --enable-mcsat
+            env: CC=gcc CXX=g++
 
     name: ${{ matrix.os }}|${{ matrix.mode }}|${{ matrix.config-opt }}|${{ matrix.env }}
     runs-on: ${{ matrix.os }}
@@ -48,4 +52,4 @@ jobs:
       uses: coverallsapp/github-action@master
       with:
         github-token: ${{ secrets.GITHUB_TOKEN }}
-        path-to-lcov: 'coverage.info'
+        path-to-lcov: 'coverage.info'