Commit Graph

1 Commits (5c7069049dcd72368de663a7cd105b6342e8d27f)

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