3426

Committed 15 Jul 2025 03:40PM UTC coverage: 61.724% (+0.007%) from 61.717%

Build # 3426

Build Type

github

Committed by

Commit Message

Merge 7f6c92bee into 5f36c9b8e

Run Details

3 of 3 new or added lines in 1 file covered. (100.0%)

32 existing lines in 1 file now uncovered.

20917 of 33888 relevant lines covered (61.72%)

407661.92 hits per line

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

80.14

/src/relationAnalysis.ml