Merge branch 'wip/mypy' into 'master'
Passed
Simon McVittie
created pipeline for commit
75d3322e
, finished
For master
3 minutes 28 seconds, queued for 2 seconds