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: Jun 05 2023 at 10:01 UTC