Enrico Tassi (Jun 29 2020 at 15:06): Enrico Tassi (Jun 29 2020 at 15:06):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: Oct 13 2024 at 01:02 UTC