36
100%

Ran 13 Jan 2026 03:39PM UTC

Jobs 1

Files 10

Run time 1min

Badge

Committed 13 Jan 2026 03:19PM UTC coverage: 100.0%. Remained the same

Build # 36

Build Type

push

github

Committed by

Commit Message

Upgrade setup-dune to v2.0.0+only-packages

Run Details

245 of 245 relevant lines covered (100.0%)

13.21 hits per line

ID	Job ID	Ran	Files	Coverage
1	36.1	13 Jan 2026 03:39PM UTC	10	100.0	GitHub Action Run