14017704349
100%
main: 100%

Ran 23 Mar 2025 09:41AM UTC

Jobs 1

Files 46

Run time 1min

Badge

Committed 23 Mar 2025 09:37AM UTC coverage: 99.67% (-0.3%) from 100.0%

Build Type

github

Committed by

Commit Message

make PredecessorTree.pred public

Run Details

1318 of 1348 new or added lines in 20 files covered. (97.77%)

8 existing lines in 2 files now uncovered.

11474 of 11512 relevant lines covered (99.67%)

139142.23 hits per line

ID	Job ID	Ran	Files	Coverage
1	14017704349.1	23 Mar 2025 09:41AM UTC	46	99.67	GitHub Action Run