Skip to content
Snippets Groups Projects

dune.module: bump version to 2.10-git

Passed
Ansgar Burchardt created pipeline for commit 45f22eb0
, finished
1 related merge request: !491 dune.module: bump version to 2.10-git
branch
10 jobs 90 minutes 13 seconds, queued for 8,218 seconds