373
100%

Ran 29 Dec 2025 03:20PM UTC

Jobs 1

Files 206

Run time 1min

Badge

Committed 29 Dec 2025 02:56PM UTC coverage: 100.0%. Remained the same

Build # 373

Build Type

push

github

Committed by

Commit Message

Add dune-workspace file in workspace

Run Details

4 of 4 new or added lines in 1 file covered. (100.0%)

7547 of 7547 relevant lines covered (100.0%)

32.41 hits per line

ID	Job ID	Ran	Files	Coverage
1	373.1	29 Dec 2025 03:20PM UTC	206	100.0	GitHub Action Run