Improve typing
Passed
Oscar Gustafsson
created pipeline for commit
dde6f31d
, finished
1 related merge request: !109 Improve typing
2 minutes 2 seconds, queued for 16 seconds