235
89%
main: 91%

Ran 15 Mar 2026 05:28PM UTC

Jobs 1

Files 48

Run time 1min

Badge

Committed 15 Mar 2026 05:27PM UTC coverage: 89.377% (+1.1%) from 88.313%

Build # 235

Build Type

github

Committed by

Commit Message

Merge 815074dab into 2ed5b7677

Coverage Stats

176 of 188 new or added lines in 15 files covered. (93.62%)

1220 of 1365 relevant lines covered (89.38%)

2320024.62 hits per line

Lines	Coverage	File
3	92.11	src/stdlib/nonempty_list0.ml
2	71.43	src/stdlib/array0.ml
2	98.17	test/stdlib/test__nonempty_list.ml
1	0.0	src/stdlib/in_channel0.ml
1	87.5	src/stdlib/list0.ml
1	66.67	src/stdlib/ordering0.ml
1	75.0	src/stdlib/out_channel0.ml
1	50.0	src/stdlib/result0.ml

ID	Job ID	Ran	Files	Coverage
1	235.1	15 Mar 2026 05:28PM UTC	48	89.38	GitHub Action Run