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
DE: Impressum · Datenschutzerklärung | EN: Legal Notice · Privacy Policy