clihelp wanted
Metriche repository
- Star
- (1882 stelle)
- Metriche merge PR
- (Merge medio 1g 20h) (345 PR mergiate in 30 g)
Descrizione
Running jbuilder build @settests --auto-promote where it is expected to promote a revised test/jbuild.inc file, but one ends up having to do sh -c "jbuilder build @settests --auto-promote || true" in, say, an opam file in order to skip the error.
It would be great if Dune returned exit code 0 when —auto-promote has been specified (assuming a fixed point in the build has been reached)