5 Commits (b9bfdc926a0d982b7e2ee545c168c495e5d34e6d)

Author SHA1 Message Date
  Erez Sh f04a2167d6 Fixes to mypy stubs (Issue #561) 5 years ago
  Erez Sh 7538c93080 Fixed for mypy (including issue #532) 5 years ago
  KmolYuan 39aa08d223 Split out stubs. 5 years ago
  KmolYuan 34d3ff9a8d Use Python 3.8 for MyPy. 5 years ago
  KmolYuan 0c63ee74fb Add MyPy action. 5 years ago