Commit Graph

1 Commits (21c9d9410a5fa127c6903ef559ed7829a11ada81)

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