This commit no longer exists in the repository. It may have been part of a branch which was deleted.

Description

tox: add mypy environment

Details

Provenance

zack	Authored on Oct 1 2019, 12:28 PM
zack	Pushed on Nov 7 2019, 9:39 AM

Differential Revision

D2032: typing: minimal changes to make a no-op mypy run pass

Build Status

Buildable 8857
Build 12923: test-and-build	Jenkins

This commit no longer exists in the repository.