Adding typechecks to CI for some files

lean-dojo / LeanDojo

Tool for data extraction and interacting with Lean programmatically.

https://leandojo.org

MIT License

536 stars 80 forks source link

Closed josojo closed 12 months ago

josojo commented 1 year ago

This only activates type checker for some files(interaction folder) Other files will be activated and fixed in another PR.