Emilio Jesús Gallego Arias

[regression] promotion of directory targets has trouble with directories starting in @

9

Dear dune devs, updating to Dune 3.15, I've found the following problem with this simple rule (that used to work): ``` (rule (targets (dir node_modules)) (deps package.json) (mode promote) (action...

[ci] Test Coq 8.18

2

This is an experiment to see if we should test in CI a lower and an upper bound for Coq. Note that starting with Coq 8.17, Coq has been split...

[doc] Changes entry for #7483 + doc improvements

1

Follow up of #8028

[core] Improved state protection against memprof-limits interruptions

28

This is a proof-of-concept (based on #19175), but could be merged as is. It should fix a few bugs we had when interrupting Coq: - `Pcoq.unfreeze` caused grammar state to...

[ci] [bench] CI / Bench for OCaml 5.2.0+trunk

17

Unfortunately we cannot test against 5.3.0 as math-comp-2 needs ppx, which is not available in that version easily. We could test math-comp.1 , but that requires some changes in infra....

The newer loading method is preferred since 8.16