Skip to content
Snippets Groups Projects

Merge branch 'lint-everything' into 'master'

Passed
Reiter, Christoph created pipeline for commit f0f732e5
, finished
For master
branch
7 jobs 16 minutes 56 seconds, queued for 2 seconds