Merge branch 'ci' into 'master'
Passed
Andreas Romeyke
created pipeline for commit
de3ff5b3
, finished
For master
1 minute 49 seconds, queued for 2 seconds