Skip to content
Snippets Groups Projects

Merge branch 'f-fix-mypy-errors' into 'dev'

Passed
Florian Spreckelsen created pipeline for commit 0e81a8e3
, finished
For dev
branch
10 jobs 10 minutes 6 seconds, queued for 3 seconds