4034

Committed 09 Jan 2026 10:03AM UTC coverage: 65.447%. First build

Build # 4034

Build Type

github

Committed by

Commit Message

Merge e4085ed5f into 9724fee64

Run Details

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

22612 of 34550 relevant lines covered (65.45%)

404449.86 hits per line

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

81.45

/src/analyses/base.ml