1
74%
master: 74%

Ran 19 Sep 2025 07:12PM UTC

Files 1725

Run time 47s

Badge

Committed 19 Sep 2025 06:38PM UTC coverage: 73.913%. Remained the same

Build Type

push

github

Committed by

Commit Message

Don't run CI when pushing a tag

Not needed in our workflow: most likely, it would be a duplicate
of the build on the corresponding branch.

Run Details

57060 of 77199 relevant lines covered (73.91%)

8746554.94 hits per line