CI: Add codecov comment to PRs

Joseph-Edwards · james-d-mitchell · commit 4c5659fca824 · 2026-03-04T22:10:30.000Z
diff --git a/.codecov.yml b/.codecov.yml
@@ -16,9 +16,6 @@ coverage:
       default:
         informational: true # Don't fail the check
 
-# Comment to post on PRs
-comment: false
-
 ignore:
  - "extern/"
  - "gap/utils.gi"
