108
100%

Ran 03 Apr 2025 07:44AM UTC

Jobs 1

Files 126

Run time 1min

Badge

Committed 01 Apr 2025 11:07AM UTC coverage: 89.858%. Remained the same

Build # 108

Build Type

push

github

Committed by

Commit Message

Enable dune-cache in all workflows (experimental)

Run Details

3792 of 4220 relevant lines covered (89.86%)

10.97 hits per line

ID	Job ID	Ran	Files	Coverage
1	108.1	03 Apr 2025 07:44AM UTC	126	89.86	GitHub Action Run