Commit Graph

4 Commits

Author SHA1 Message Date
Tekktrik 57cd451245 Add build to pio install command 2023-05-09 22:31:24 -04:00
Alec Delaney 298bd16529
Fix creating virtual environment for stub creation 2023-05-04 15:55:33 -04:00
Dan Halbert 38e9fd703b add circuitpython_typing. to some annotations; generalize extract_pyi.pi 2022-02-28 21:27:24 -05:00
Jeff Epler f51ca53553 refine stubs-building procedure
* so that excess files are not included in sdist, perform build down
   in circuitpython-stubs
 * This means we need to
   * Remove the need-pypi check
   * Copy a setup.py, README, and MANIFEST.in into the stubs build location
   * Revamp how the overall `mypy --strict` check lists its inputs
 * Add a new test that actually installing the stubs lets us do type
   checking (tools/test-stubs.sh)
 * Add a missing return type to a __init__ function (why was this not
   an error under `mypy --strict`, I wonder)
2021-06-22 08:59:05 -05:00