Etienne Millon
Etienne Millon
this could be transferred to [ocaml-windows/papercuts](https://github.com/ocaml-windows/papercuts/issues) I guess @dra27
Before: 11m 21s Now: 8m 46s
Thanks. Do you know if some projects use nix to build coq-native? I had to define it in here so it's not cached at the moment.
Not ideal but an improvement already so I'm going for it. cc @Alizter - if you know of a way to use coq-native from nix we can use it.
The "Install deps on Unix" phase does from 4m40s to 3m20s.
Good idea, done in #10661.
They're built in separate workflow, so I assume that it would be caught in the benchmark workflow.
Indeed; I've filed #10682 for this. Installing them separately will make it possible to install the "normal" test deps on windows in #10655 and we can add a dedicated linux-only...
I could verify with `strace` that `unlink` is called correctly and I couldn't reproduce. I would say it's an issue in `bos`. > maybe switching to with_tmp_output or with_tmp_oc is...
That's https://github.com/ocaml/ocaml/pull/13019 and will go away with 5.2