Stream: Coq devs & plugin devs

Topic: CI job test-suite:4.12+trunk+dune


view this post on Zulip 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: Mar 29 2024 at 10:01 UTC