Skip to content
Snippets Groups Projects

Merge branch 'resource-select' into 'master'

Passed
Reiter, Christoph created pipeline for commit 4eeeff70
, finished
For master
5 jobs 3 minutes 43 seconds, queued for 2 seconds