Skip to content
Snippets Groups Projects

use SCRIPT instead of COMMAND in dune_python_add_test

Passed
Andreas Dedner created pipeline for commit aad55b84
, finished
1 related merge request: !156 use SCRIPT instead of COMMAND in dune_python_add_test
branch
11 jobs 10 minutes 27 seconds, queued for 2 seconds