184
100%

Ran 30 Jul 2025 09:44AM UTC

Jobs 1

Files 134

Run time 1min

Badge

Committed 30 Jul 2025 09:37AM UTC coverage: 96.387% (+0.04%) from 96.351%

Build # 184

Build Type

push

github

Committed by

Commit Message

Merge pull request #82 from mbarbin/simplify-open-via-flags

Simplify insertion of library open-via-flags

Run Details

16 of 17 new or added lines in 1 file covered. (94.12%)

4749 of 4927 relevant lines covered (96.39%)

15.22 hits per line

Lines	Coverage	∆	File
1	68.22	0.04%	lib/dune_linter/src/library.ml

ID	Job ID	Ran	Files	Coverage
1	184.1	30 Jul 2025 09:44AM UTC	134	96.39	GitHub Action Run