Lukasz Stafiniak
Lukasz Stafiniak
Closing it as "won't fix".
This is a low urgency / low priority release -- it doesn't affect my other projects. Maybe it's worth taking the opportunity to make infra progress on the spurious CI...
Thanks! Not `do-not-merge`, but rather `needs reporter action`.
What's worse, when I revert the spurious diff, `dune build -w` results in errors like these for me: ```shell Error: rename(.#printbox-ext-plot.opam.dune-temp): Permission denied -> required by _build/default/printbox-ext-plot.opam -> required by...
Apologies for delay, I'll reply when I'm back on my Windows machine.
@Alizter However, the quick answer is that yes, I'm reverting while `dune build -w` (watch mode) is running, that's causing the error above, and I'm not explicitly promoting since I...
Adding this to priority backends: cc, cuda, metal, webgpu.
Removing webgpu from priority backends (currently: cc, cuda, metal, hip-amd).
But beware that ppx_minidebug debug levels currently have a different, prefix-filtering-based design. Resolving this issue is not trivial.
This is done now with the migration to ppx_minidebug 2.0.