28995489775
98%

Ran 09 Jul 2026 05:08AM UTC

Jobs 1

Files 16

Run time 1min

Badge

Committed 09 Jul 2026 05:06AM UTC coverage: 98.293% (-0.006%) from 98.299%

Build Type

push

github

Committed by

Commit Message

Shed vestigial bounds from the CT where-clauses (#32)

Coverage Stats

3 of 3 new or added lines in 1 file covered. (100.0%)

6161 of 6268 relevant lines covered (98.29%)

15442.9 hits per line

ID	Job ID	Ran	Files	Coverage
1	28995489775.1	09 Jul 2026 05:08AM UTC	16	98.29	GitHub Action Run