dev meeting next

Jump to bottom Edit New page

Jeremie Dimino edited this page Jun 9, 2020 · 14 revisions

Proposed discussion topics

how to best handle different compilation modes ? [Emilio asks, see for example https://github.com/ocaml/dune/issues/3500]
brief update on the meeting about the sites PR
new build system API

Clone this wiki locally