284
100%

Ran 03 Oct 2025 09:21AM UTC

Jobs 1

Files 175

Run time 1min

Badge

Committed 03 Oct 2025 09:15AM UTC coverage: 100.0%. Remained the same

Build # 284

Build Type

push

github

Committed by

Commit Message

Merge pull request #113 from mbarbin/test-workspaces

Make dunolint aware of and use dune workspaces

Run Details

78 of 78 new or added lines in 5 files covered. (100.0%)

6080 of 6080 relevant lines covered (100.0%)

29.94 hits per line

ID	Job ID	Ran	Files	Coverage
1	284.1	03 Oct 2025 09:21AM UTC	175	100.0	GitHub Action Run