Chantal Keller (Jun 07 2023 at 09:57): Chantal Keller (Jun 07 2023 at 09:57):Hi
I am stuck on this PR because the compilation error is a Coq one.
Thanks for your help!
Karl Palmskog (Jun 07 2023 at 11:26):it may be the usual dune executable/file problem. Could someone with more Dune knowledge than me confirm maybe? I have no idea how one can get non-erroring CI runs when this problem occurs.
Karl Palmskog (Jun 07 2023 at 11:28):@Chantal Keller how about breaking out the non-development packages (not in extra-dev but released opam repo) into a different PR? They could likely be merged quite quickly then.
Gaëtan Gilbert (Jun 07 2023 at 11:34):cc @Emilio Jesús Gallego Arias @Ali Caglayan
Ali Caglayan (Jun 07 2023 at 11:57):very perculiar, I am not able to reproduce the error locally.
Ali Caglayan (Jun 07 2023 at 11:58):Dune is complaining about a malformed dune file, however the 8.14 branch seems to be ok.
Ali Caglayan (Jun 07 2023 at 12:10):trying again now
Ali Caglayan (Jun 07 2023 at 12:12):really strange still not able to reproduce
Last updated: Nov 29 2023 at 21:01 UTC