Update ci.yml

SRI-CSL · Dec 17, 2024 · 641358e · 641358e
1 parent 772ad59
commit 641358e
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -39,6 +39,7 @@ jobs:
         env: ${{ matrix.env }}
 
     - name: Test
+      if: matrix.mode != 'gcov'
       uses: ./.github/actions/test
       with:
         mode: ${{ matrix.mode }}