Commit Graph

1 Commits (18d2a10708ff13deb83aa65814db332c73989420)

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