Enable coverage tracking for standalone code

gap-packages · Apr 6, 2021 · dde588c · dde588c
1 parent be328a7
commit dde588c
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml
@@ -5,6 +5,9 @@ on:
   - push
   - pull_request
 
+env:
+  COPTS: "-O2 --coverage" # enable coverage tracking in C binaries
+
 jobs:
   # The CI test job
   test: