1164

Committed 05 Mar 2025 03:45PM UTC coverage: 73.346% (+0.1%) from 73.242%

Build # 1164

Build Type

push

github

Committed by

Commit Message

Test: 5.3 compatibility

Coverage Stats

10300 of 14043 relevant lines covered (73.35%)

9913.71 hits per line

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

63.04

/src/odoc/extract_code.ml