Coq Call 2024 09 10 - coq/coq GitHub Wiki

• September 10th 2024, 4pm UTC+2 (Paris time zone offset)
• https://rdv2.rendez-vous.renater.fr/coq-call

Topics

• Rocq: renaming, first release and schedule (Matthieu, Nicolas, Théo)
• update CI policy https://github.com/coq/coq/pull/19518 (Gaëtan)

Roles

• Chairman: Nicolas Tabareau
• Secretary:

Notes

• Rocq 9 - basically 8.21 + renaming, so we should work on master. Théo starts a github project on the subject and we collectively gather a step-by-step program by next Coq Call.

• update CI policy: we say that we have difficulty maintaining the current CI as it is becoming very big and we ask new project developers to get in touch with Rocq developers on Zulip first before asking for an integration into Rocq's CI.

  Gaetan and Andres will try to see if they can run the CI on a more efficient infrastructure.