4030

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

Build # 4030

Build Type

github

Committed by

Commit Message

Merge 6646e6d6c into 9437f979a

Run Details

89 of 103 new or added lines in 13 files covered. (86.41%)

22490 of 34362 relevant lines covered (65.45%)

405909.96 hits per line

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

81.25

/src/analyses/base.ml