Skip to content
Snippets Groups Projects

use SCRIPT instead of COMMAND in dune_python_add_test

Warning
Andreas Dedner created pipeline for commit 7f724bf0
, finished
1 related merge request: !420 use SCRIPT instead of COMMAND in dune_python_add_test
branch
12 jobs 36 minutes 40 seconds, queued for 316 seconds