Skip to content

Meetings agenda

Marcello Seri edited this page Oct 18, 2023 · 21 revisions

Typical tasks:

  • Are there been any change in the infrastructure? (opam-repo-ci, machines, Github Actions, …)
  • Are there big issues to discuss first?
  • Are there any significant releases coming that we might want to have a special look for? (dune, JaneStreet packages, Tezos, …)
  • Progress on the documentation for maintainers
  • Progress on the documentation for publishers
  • Does anyone want to write the meeting notes this week?
  • ...
Clone this wiki locally