1175

Committed 11 Mar 2025 04:59PM UTC coverage: 73.318% (+0.06%) from 73.262%

Build # 1175

Build Type

push

github

Committed by

Commit Message

Fix typo

Coverage Stats

10362 of 14133 relevant lines covered (73.32%)

9854.18 hits per line

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

60.87

/src/odoc/extract_code.ml