5 Commits (70c233e3010ffbcb9eaeeec65944006558afcd43)

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