Dune should return exit code 130 on Ctrl-C #5757
Description
When I Ctrl-C dune build, it returns the exit code 1 instead of the standard 130. Let's fix this.
{{ message }}
When I Ctrl-C dune build, it returns the exit code 1 instead of the standard 130. Let's fix this.