Skip to content

Revert "Makefile: only use dune --release on release builds"#3774

Merged
mtzguido merged 1 commit intoFStarLang:masterfrom mtzguido:duneFeb 18, 2025
+8-8

Commits

Commits on Feb 18, 2025