122
99%
main: 99%

Ran 25 Mar 2026 08:14AM UTC

Jobs 1

Files 22

Run time 1min

Badge

Committed 25 Mar 2026 08:14AM UTC coverage: 99.055% (-0.9%) from 100.0%

Build # 122

Build Type

github

Committed by

Commit Message

Merge e36af92bb into 0042e38f2

Coverage Stats

44 of 53 new or added lines in 2 files covered. (83.02%)

943 of 952 relevant lines covered (99.05%)

9.58 hits per line

Lines	Coverage	∆	File
7	79.41		doc/guides/migration_0_4_0.ml
2	89.47		doc/explanation/path_normalization.ml

ID	Job ID	Ran	Files	Coverage
1	122.1	25 Mar 2026 08:14AM UTC	22	99.05	GitHub Action Run