Skip to content
Snippets Groups Projects

[cleanup] Remove arguement to finalize_dune_project

Passed
Timo Koch created pipeline for commit 1aaef357
, finished
For master
2 jobs 11 seconds, queued for 1 seconds