Skip to content
Snippets Groups Projects

set correct version in dune.module

Failed
Andreas Dedner created pipeline for commit 17b94123
, finished
For v2.9.1
latest
3 jobs 9 minutes 56 seconds, queued for 3,298 seconds