1
7%
main: 7%

Ran 25 Jan 2024 01:21PM UTC

Files 515

Run time 9s

Badge

Embed ▾

Committed 25 Jan 2024 03:55AM UTC coverage: 7.012% (+0.002%) from 7.01%

Job # 795.1

Build Type

push

github

Committed by

web-flow

Commit Message

refactor: move subdir stanza (#9837)

Move it to submodules in [Source_dir_status]

After this change, [Sub_dirs] only contains implementation details of
[Dune_file0], so it can be combined.

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

Run Details

2861 of 40800 relevant lines covered (7.01%)

27918.47 hits per line

jchavarri / dune / 795 / 1
7%
main: 7%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 795.1

jchavarri / dune / 795 / 1 7% main: 7%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 795.1

jchavarri / dune / 795 / 1
7%
main: 7%

README BADGES
x