Skip to content
Snippets Groups Projects

Merge branch 'ci/fix_variables_from_dumux' into 'master'

Passed
Ivan Buntic created pipeline for commit 56d119c5
, finished
For master
1 job 1 minute 1 second, queued for 3 seconds