181
89%
main: 88%

Ran 16 Dec 2025 07:49PM UTC

Jobs 1

Files 33

Run time 1min

Badge

Committed 16 Dec 2025 07:32PM UTC coverage: 89.469% (-2.5%) from 92.007%

Build # 181

Build Type

github

Committed by

Commit Message

Merge 9bffa3d3e into e92bc19b9

Run Details

49 of 86 new or added lines in 1 file covered. (56.98%)

1062 of 1187 relevant lines covered (89.47%)

3135193.93 hits per line

Lines	Coverage	∆	File
37	56.98		src/stdlib/dyn0.ml

ID	Job ID	Ran	Files	Coverage
1	181.1	16 Dec 2025 07:49PM UTC	33	89.47	GitHub Action Run