Merge branch 'lint-everything' into 'master'
Passed
Reiter, Christoph
created pipeline for commit
f0f732e5
, finished
For master
16 minutes 56 seconds, queued for 2 seconds