Coq Call 2020 11 25

• November 25th 2020, 4pm-5pm Paris Time
• https://rdv2.rendez-vous.renater.fr/coq-call

Topics

• CEP #48 on coq-native: announcement of the intent to merge by the end of the week.
• #12743: extending ARGUMENT EXTEND or renouncing to it?
• Not your grampa's CI: what is wrong today and a proposal to make things faster (Enrico)
• 8.14 release manager(s) nomination

Notes from Matthieu

• 8.14 RM: tentatively Pierre-Marie but will wait for the CUDW to settle this (and the problematic CI status)

• CI: problem of busy pipelines. We need more flexibility in the set of CI developments we test. Especially when merging often like Enrico did.

  Should we really test all the developments?

  • we guarantee to adapt plugins so we need to keep them (mostly simple ones though).

  • however we should work to reduce the time spent in CI:

    • there are ongoing works on improving the CI system itself, but this is not yet ready
    • should we have flexibility on the CI? People not so happy with the idea of merging without a full CI.
    • a huge problem is the parallel world of the windows installer.

  • Same problem happened with MacOS last release: issue with gtk / coqide / tools? Package building is commented in azure_pipelines.yml.

  An ideal solution would be a bors-like system where more ci would be done only to validate a merge time. Théo proposes to look at it in the coming weeks.

  Proposal to move package generation outside the release management process but this work needs to be done elsewhere (e.g. coq-platform). Will be discussed at the CUDW.