4047

Committed 13 Jan 2026 08:08AM UTC coverage: 65.45%. First build

Build # 4047

Build Type

github

Committed by

Commit Message

Merge 74711c14b into 2326a8472

Run Details

97 of 119 new or added lines in 3 files covered. (81.51%)

22615 of 34553 relevant lines covered (65.45%)

404427.38 hits per line

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

81.48

/src/analyses/base.ml