MilesCranmer's picture
build: add mypy to dev environment
c2379a1 unverified