Skip to content

Call make instead of dune build - #3179

Merged
sabine merged 1 commit into
mainfrom
make
Jun 26, 2025
Merged

Call make instead of dune build#3179
sabine merged 1 commit into
mainfrom
make

Commits

Commits on Jun 20, 2025