Commit Graph

1 Commits (de28a300287f829cb0fb10922c3f50cf14fd78b9)

Author SHA1 Message Date
Yangshun Tay dfdd27cb85
[infra] add GitHub actions for typechecking (#356)
2 years ago