Commit 805eb7dd authored by Sven Neumann's avatar Sven Neumann

Merge branch 'gitlab_clippy' into 'master'

Introduce code quality metrics to MRs

See merge request !407
parents c4973a73 0ee50457
Pipeline #226122 passed with stages
in 36 minutes and 30 seconds