Commit Graph

1 Commits (58e02ebff6e3ecfbc973900962d6f60bb22c1522)

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