2903
73%

Ran 10 Mar 2025 12:34PM UTC

Jobs 1

Files 89

Run time 26min

Badge

Committed 10 Mar 2025 12:28PM UTC coverage: 73.372% (+0.009%) from 73.363%

Build # 2903

Build Type

push

github

Committed by

Commit Message

Formatting, CHANGES

Run Details

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

50 existing lines in 1 file now uncovered.

10267 of 13993 relevant lines covered (73.37%)

9947.11 hits per line

Lines	Coverage	∆	File
50	86.79	0.13%	src/odoc/bin/main.ml

ID	Job ID	Ran	Files	Coverage
1	2903.1	10 Mar 2025 12:34PM UTC	89	73.37	GitHub Action Run