Skip to content

GitLab

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

2 jobs for 2.71.7 in 4 minutes and 32 seconds
latest
9989e565
No related merge requests found.