Skip to content
Snippets Groups Projects

Merge branch 'shanchen' into 'master'

Failed
Martin Bauer created pipeline for commit 78beeb86
, finished
For master
9 jobs 13 minutes 53 seconds, queued for 142 seconds