20872413583
99%

Ran 10 Jan 2026 03:57AM UTC

Jobs 1

Files 8

Run time 1min

Badge

Committed 01 Jan 2013 08:00AM UTC coverage: 97.348% (+0.9%) from 96.429%

Build Type

push

github

Committed by

Commit Message

Compute first & follow sets

Run Details

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

514 of 528 relevant lines covered (97.35%)

125.08 hits per line

ID	Job ID	Ran	Files	Coverage
1	20872413583.1	10 Jan 2026 03:57AM UTC	8	97.35	GitHub Action Run