Commit Graph

1 Commits (efee8c7fdab13c327ca6d6a244c41a8730901dc5)

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