Keyan Zhang 05af9f04ed [easy] run typechecking on CI (#954) 5 years ago
..
lint.yml 05af9f04ed [easy] run typechecking on CI (#954) 5 years ago
test.yml 5bd1c8b3cd update events for GH actions to include PRs (#511) 5 years ago