Merge branch 'master' into 'slurm-submission-and-execution'
Warning
Jakub Kropáček
created pipeline for commit
743c0d16
, finished
1 related merge request: !424 Slurm submission and execution
40 seconds, queued for 2 seconds