I am stuck on this PR because the compilation error is a Coq one.
Thanks for your help!
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.
@Chantal Keller how about breaking out the non-development packages (not in
released opam repo) into a different PR? They could likely be merged quite quickly then.
cc @Emilio Jesús Gallego Arias @Ali Caglayan
very perculiar, I am not able to reproduce the error locally.
Dune is complaining about a malformed dune file, however the 8.14 branch seems to be ok.
trying again now
really strange still not able to reproduce
Last updated: Feb 27 2024 at 23:01 UTC