Commit 9989e565 authored by erwan's avatar erwan
Browse files

Chore: rely more on dune and less on make for the build

parent 43aa7c0e
Pipeline #70917 passed with stages
in 4 minutes and 32 seconds