Commit Graph

1 Commits (3de4780872e4f5e661e46f3ed4fa50085a8f5d7b)

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