1098

Committed 13 Dec 2024 10:51AM UTC coverage: 73.127% (-0.004%) from 73.131%

Build # 1098

Build Type

github

Committed by

Commit Message

Merge 1e2170adf into a3de36cd6

Run Details

10 of 11 new or added lines in 3 files covered. (90.91%)

10169 of 13906 relevant lines covered (73.13%)

3012.2 hits per line

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

0.0

/src/odoc/html_fragment.ml