Skip to content
Snippets Groups Projects

[gridfactory] Keep deprecated interface until dune >= 2.8

Passed
Timo Koch created pipeline for commit f3a284db
, finished
branch
11 jobs 5 minutes 37 seconds, queued for 2 seconds