3271
71%
master: 71%

Ran 17 Jul 2026 05:14PM UTC

Jobs 1

Files 85

Run time 1min

Badge

Committed 17 Jul 2026 05:08PM UTC coverage: 70.989% (+0.05%) from 70.942%

Build # 3271

Build Type

github

Committed by

Commit Message

Merge b547233b9 into 5ec3d13c7

Coverage Stats

43 of 44 new or added lines in 2 files covered. (97.73%)

10473 of 14753 relevant lines covered (70.99%)

5856.59 hits per line

Lines	Coverage	∆	File
1	88.03	0.72%	src/odoc/bin/main.ml

ID	Job ID	Ran	Files	Coverage
1	3271.1	17 Jul 2026 05:14PM UTC	85	70.99	GitHub Action Run