Skip to content
Commit 7352b59d authored by Christoph Reiter's avatar Christoph Reiter
Browse files

CI: pin mypy for now 

The latest release (0.800) finds a handful of new problems that need
to be addressed first.
parent d46e38b9
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment