Etienne Marais
Etienne Marais
Yes exactly this! :pray:
Thanks! I'll update the PR with the top bar, following the instruction in the provided PRs. For the color, I would suggest #B0A687: it's the grey / cream color from...
Should put the link in `url.ml` instead of hardcoding it?
Some updates here. After discussing the subject with @leostera, we will only keep the banner as most of the information would be displayed on the `dune.ci.dev` (or `dune.ocaml.org`). The page...
Closing in favour of #2766 (using the announcement in the changelog instead of the banner).
Thanks! I have added the discussion to the calendar for April, 16th: https://github.com/ocaml/dune/wiki/dev-meeting-2025-04-16.
Thanks for reporting! 😄 We will investigate on the problem. Indeed, it might be because we are trying to compute the new lock file inside a `/tmp/dune-XXX` directory before replacing...
I thought it would be because of https://github.com/ocaml/dune/pull/10852. However, looking at the code and re experimenting with it, everything happens in the same directory (the one of the project). To...
From what I found in my notes, the reason behind was to avoid `dune` to restart the watch mode on a partial set of dependencies. It was mostly done because...
I would suggest that it prints a warning. If the shebang is wrong, it should be corrected in some ways and people should be aware that we try to take...