mjambon/dune-starter

Test problem

Pitometsu opened this issue · 0 comments

test_sub1 would build as part of released package, isn't it? So release package will require alcotest which is not what expected, I guess.