Thanks to the new ability of Coqbot to signal hidden failures, I've noticed that this job fails building dune 2.6 on OCaml trunk (it does not even reach the building of Coq).
Do we really need to run this job at each coq PR?
Can't we run it on a cron?
Last updated: Mar 29 2024 at 10:01 UTC