Setup GitHub Actions for auto type checking

calpoly-csai / api

Official API for the NIMBUS Voice Assistant accessible via HTTP REST protocol.

https://nimbus.api.calpolycsai.com/

GNU General Public License v3.0

9 stars 4 forks source link

Setup GitHub Actions for auto type checking #14

Open mfekadu opened 4 years ago

mfekadu commented 4 years ago

Objective

Support the Report Test Coverage... milestone by making writing test cases easier for us

Key Result

Setup GitHub Actions for automatic type-checking of our codebase on push and on PR

Details

Good Code Talk at PyCon 2018 by Carl Meyer about how Instagram avoids Python bugs by using pyre for type checking
The official Python type checker is MyPy but somehow Pyre is "faster for large codebases"

snekiam commented 4 years ago

I noticed that the type checker is not actually, it fails to find pyre: I know our CI isn't really functional at the moment but I thought I'd document this.

mfekadu commented 4 years ago

good catch @snekiam !
Perhaps the pip install pyre-check failed?