CoqWG20180516 - coq/coq GitHub Wiki
Organization
The next Coq Working Group will start on May 16th at 9.30am. We will be using video-conference equipment (Visioconférence 10, 310#9136, 128.93.162.102).
- In Paris, at Inria Paris, room A226 (ask Matthieu for more details)
- In Sophia, at Inria room Euler Bleu (ask Maxime for more details)
It is also possible to connect from H323-compatible clients. If you plan to do so, please contact Maxime.
Video streaming is available on the YouTube channel
Schedule
- Debrief of the release
- New merging policy discussion
- Important: #7346
- How to keep the number of open PRs under control?
- CI system
- EConstr.to_constr invariant