Build has been canceled!

3658

Committed 03 Oct 2025 07:55AM UTC coverage: 61.578% (+0.02%) from 61.56%

Build # 3658

Build Type

github

Committed by

Commit Message

Merge 8461c8681 into 2697fbedc

Run Details

3 of 225 new or added lines in 7 files covered. (1.33%)

1423 existing lines in 30 files now uncovered.

21054 of 34191 relevant lines covered (61.58%)

403574.6 hits per line

Source File
Press 'n' to go to next uncovered line, 'b' for previous

70.0

/src/analyses/assert.ml