CoqWG20180516

Matthieu Sozeau edited this page Oct 2, 2018 · 1 revision

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

Other PRs that need to be discussed (possibly around a computer)

Other issues that need to be discussed (possibly around a computer)

Clone this wiki locally
You can’t perform that action at this time.
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session.
Press h to open a hovercard with more details.