Formatting dune files on save while the build is running
#13.525 aberto em 2 de fev. de 2026
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
Desired Behavior
Imagine you have an editor extension enabled that can format your dune files (dune, dune-project, etc.) on save, using dune format-dune-file under the hood. I think now if you have a build running in watch mode in the project, this no longer works. The format command conflicts with the build locks.
I think this use to work before dune.3.21 but I suspect something changed.
Repro?
I'd appreciate if someone else can confirm as I am not sure exactly sure from where this workflow comes from (dune.el?). I have noticed it via some other layer with the reformatter emacs package (using this setup). Not sure if this applies to other users. Thanks!