Skip to content
Snippets Groups Projects

Remove deprecation warnings with dune 2.9

Passed
Timo Koch created pipeline for commit 6cd49d4a
, finished
Related merge request !133 to merge fix/deprecationwarnign-dune29
Child pipeline ( parent ) merge request
3 jobs 2 minutes 11 seconds, queued for 2 seconds