jchavarri / dune / 848

Committed 02 Apr 2024 12:32AM UTC coverage: 6.931% (-0.05%) from 6.981%

Build # 848

Build Type

push

github

Committed by

Commit Message

Add repro for gh10232 (#10233)

Signed-off-by: Stephen Sherratt <stephen@sherra.tt>

Run Details

2903 of 41885 relevant lines covered (6.93%)

27195.74 hits per line

Source File
Press 'n' to go to next uncovered line, 'b' for previous

2.33

/src/dune_rules/dune_package.ml