Generate a coverage report in CI (#1736)

This commit is contained in:
Rangi
2025-07-08 21:39:11 -04:00
committed by GitHub
parent 8c50839109
commit 9acba4b412
4 changed files with 46 additions and 10 deletions

View File

@@ -1,4 +1,4 @@
name: Code coverage checking
name: Diff completeness check
on: pull_request
jobs: