211
100%
main: 100%

Ran 27 Mar 2026 11:55AM UTC

Jobs 1

Files 53

Run time 1min

Badge

Committed 27 Mar 2026 11:51AM UTC coverage: 98.141% (-1.9%) from 100.0%

Build # 211

Build Type

github

Committed by

Commit Message

Merge 4e3aef3ae into 283e5a9e7

Run Details

266 of 281 new or added lines in 35 files covered. (94.66%)

792 of 807 relevant lines covered (98.14%)

7.27 hits per line

Lines	Coverage	File
1	94.12	src/stdlib/int0.ml
1	50.0	src/stdlib/option0.ml
1	0.0	src/stdlib/poly0.ml
3	25.0	src/stdlib/ordering0.ml
9	47.06	src/stdlib/list0.ml

ID	Job ID	Ran	Files	Coverage
1	211.1	27 Mar 2026 11:55AM UTC	53	98.14	GitHub Action Run