Unverified Commit b5cc8b9a authored May 28, 2021 by Andreas Klöckner Committed by GitHub May 28, 2021

Merge pull request #75 from inducer/simplify-mypy-ci

Simplify mypy CI