17866895673
74%

Ran 19 Sep 2025 07:12PM UTC

Jobs 1

Files 1725

Run time 3min

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

ID	Job ID	Ran	Files	Coverage
1	17866895673.1	19 Sep 2025 07:12PM UTC	1725	73.91	GitHub Action Run