clihelp wanted
Métricas do repositório
- Stars
- (1.882 estrelas)
- Métricas de merge de PR
- (Mesclagem média 1d 20h) (345 fundiu PRs em 30d)
Description
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)