44
96%
main: 96%

Ran 22 May 2025 09:10AM UTC

Jobs 1

Files 16

Run time 1min

Badge

Committed 22 May 2025 09:05AM UTC coverage: 95.97% (-0.09%) from 96.06%

Build # 44

Build Type

github

Committed by

Commit Message

Merge 5a1f739e2 into 42e81ed8c

Run Details

9 of 10 new or added lines in 1 file covered. (90.0%)

905 of 943 relevant lines covered (95.97%)

10.01 hits per line

Lines	Coverage	∆	File
1	99.58	-0.42%	lib/err/src/err.ml

ID	Job ID	Ran	Files	Coverage
1	44.1	22 May 2025 09:10AM UTC	16	95.97	GitHub Action Run