Commit Graph

1 Commits (4fa350964f086d63b2fdfc6b281a5debe73abdd3)

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