27905
7%

Ran 11 Aug 2024 08:05AM UTC

Jobs 1

Files 539

Run time 1min

Badge

Committed 11 Aug 2024 07:56AM UTC coverage: 6.911%. Remained the same

Build # 27905

Build Type

push

github

Committed by

Commit Message

refactor: move [Dialect] to [Dune_lang] (#10819)

Signed-off-by: Rudi Grinberg <me@rgrinberg.com>

Run Details

2 of 5 new or added lines in 1 file covered. (40.0%)

2911 of 42122 relevant lines covered (6.91%)

27043.0 hits per line

Lines	Coverage	∆	File
3	42.51		src/dune_lang/dialect.ml

ID	Job ID	Ran	Files	Coverage
1	27905.1	11 Aug 2024 08:05AM UTC	539	6.91	GitHub Action Run