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

Call make instead of dune build

acefa61
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs