485
100%
main: 100%

Ran 30 Apr 2026 08:00PM UTC

Jobs 1

Files 246

Run time 1min

Badge

Committed 30 Apr 2026 07:59PM UTC coverage: 99.971% (-0.03%) from 100.0%

Build # 485

Build Type

github

Committed by

Commit Message

Merge 90b16bfae into ee028eedc

Coverage Stats

25 of 28 new or added lines in 7 files covered. (89.29%)

10368 of 10371 relevant lines covered (99.97%)

35.53 hits per line

Lines	Coverage	∆	File
1	0.0		src/stdlib/absolute_path0.ml
1	0.0		src/stdlib/fsegment0.ml
1	0.0		src/stdlib/relative_path0.ml

ID	Job ID	Ran	Files	Coverage
1	485.1	30 Apr 2026 08:00PM UTC	246	99.97	GitHub Action Run