Skip to content
Snippets Groups Projects

[version] Update dependencies to require dune 2.6

Passed
Timo Koch created pipeline for commit 36c8a0aa
, finished
1 related merge request: !71 [version] Update dependencies to require dune 2.6
branch
8 jobs 5 minutes 43 seconds, queued for 3 seconds