dev meeting 20230628

Jump to bottom Edit New page

Etienne Millon edited this page Jun 28, 2023 · 2 revisions

(Ali) new benchmarking metrics that I've added in #8063.
(Etienne) update on release process
(Etienne) dune-build-info and vendored dirs #8025