Merge branch 'feat_gitlab_ci' into 'master'
Passed
Jörg Sachse
created pipeline for commit
baddd42c
, finished
For master
7 minutes 55 seconds, queued for 268 seconds