3210

Committed 14 May 2025 10:50AM UTC coverage: 61.474% (+0.007%) from 61.467%

Build # 3210

Build Type

github

Committed by

Commit Message

Merge 8c5fabe2a into 9cfaf49a3

Run Details

8 of 9 new or added lines in 4 files covered. (88.89%)

145 existing lines in 3 files now uncovered.

20648 of 33588 relevant lines covered (61.47%)

411157.29 hits per line

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

61.93

/src/framework/control.ml