dune-release
dune-release copied to clipboard
Improve consistency among flags
There are a couple of options that can be passed to subcommands such as distrib, but not to the all-in-one dune-release/dune-release bistro command. For example the --skip-<build/tests/lint> flags.
I suggest adding those options to the dune-release command for consistency and to increase the usability of that command. For example in Irmin, they run the subcommands separately instead of running dune-release due to the missing --skip-tests flag. See here