WIP: Linting
Warning
Daniel Hornung
created pipeline for commit
a49634b7
, finished
1 related merge request: !135 Add and fix more type hints
17 minutes 58 seconds, queued for 6 seconds