Commit Graph

1 Commits (05119f52fa9a8c036ccad0783a5fb6aa9221de3e)

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