dev meeting 2024 08 21

Jump to bottom Edit New page

Stephen Sherratt edited this page Aug 21, 2024 · 3 revisions

Compile-time toggling of feature flags

unifying the DUNE_CONFIG__ variables with compile-time configuration
changing the default config variable values for the dev preview
coordinating changes to dune_config/config.ml between Jane Street and Tarides