Skip to content
Snippets Groups Projects

bump mypy

Warning
Daniel Bauer created pipeline for commit d6758366
, finished
1 related merge request: !43 Clean up indexing, Pt. 1
6 jobs 32 minutes 35 seconds, queued for 2 seconds