Commit Graph

1 Commits (31a166e6e040b7d43b59ff64622181756f75b4c2)

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