Skip to content
Snippets Groups Projects

Merge branch 'make-mypy-happy' into 'master'

Passed
Jakob Moser created pipeline for commit 533884ec
, finished
For master
1 job 5 minutes 50 seconds, queued for 2 seconds