Skip to content

Allow use of ppx in dune#9223

Draft
NathanReb wants to merge 18 commits intoocaml:mainfrom NathanReb:allow-ppx-in-dune

Commits

Commits on Apr 22, 2024

Commits on Apr 25, 2024

Commits on Jun 3, 2024

Commits on Jun 11, 2024