188
88%

Ran 17 Dec 2025 07:41PM UTC

Jobs 1

Files 33

Run time 1min

Badge

Committed 17 Dec 2025 07:35PM UTC coverage: 89.465% (-0.004%) from 89.469%

Build # 188

Build Type

push

github

Committed by

Commit Message

Merge pull request #36 from mbarbin/import-dune-12982

Import dune 12982

Run Details

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

1070 of 1196 relevant lines covered (89.46%)

3096450.16 hits per line

Lines	Coverage	∆	File
1	60.0	3.02%	src/stdlib/dyn0.ml

ID	Job ID	Ran	Files	Coverage
1	188.1	17 Dec 2025 07:41PM UTC	33	89.46	GitHub Action Run