👷Github Action Type Checking for MicroPython

[Josverl]

Combine MicroPython with Actions and your favorite type checker and find issues in your code.

OK , this is an early release , and you may also find that the docs / type stubs can be improved, please create an issue in the stubs repo if that is the case.

I have not even created a logo for this yet, if you feel creative, please do share.

https://github.com/marketplace/actions/micropython_type_checking

[jonnor]

Very cool! Type checking is quite nice, and really aught to be enforced in CI. This makes it easier :)

Github repo with source of the project seems to be here, for those that are curious. https://github.com/Josverl/mp_typecheck

[Josverl]

Thanks,
Please do kick the proverbial tires and let me know what works, and what needs improvements. Both wrt more config options in this action, or param) typing in the stubs.

[glenn20]

Awesome. This is really helpful. Now, just need a pre-commit hook too 😉.