20892027211
99%

Ran 11 Jan 2026 08:16AM UTC

Jobs 1

Files 9

Run time 1min

Badge

Committed 01 Jan 2013 08:00AM UTC coverage: 97.599% (+0.2%) from 97.417%

Build Type

push

github

Committed by

Commit Message

Compute closure for a CFG

Run Details

41 of 41 new or added lines in 2 files covered. (100.0%)

569 of 583 relevant lines covered (97.6%)

149.0 hits per line

ID	Job ID	Ran	Files	Coverage
1	20892027211.1	11 Jan 2026 08:16AM UTC	9	97.6	GitHub Action Run