Merge branch 'master' of gitlab.ekp.kit.edu:mapr/eFFORT
Failed
Felix Metzner
created pipeline for commit
696473bf
, finished
For master
5 minutes 23 seconds, queued for 2 seconds