clihelp wanted
Repository metrics
- Stars
- (1,882 個のスター)
- PR merge metrics
- (平均マージ 1d 20h) (30d で 345 merged PRs)
説明
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)