Skip to content
Snippets Groups Projects

Fix type hint error

Warning
Joscha Schmiedt created pipeline for commit fe842173
, finished
1 related merge request: !135 Add and fix more type hints
branch
10 jobs 16 minutes 3 seconds, queued for 3 seconds