You cannot select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
success/.github/workflows
Keyan Zhang 05af9f04ed
[easy] run typechecking on CI (#954)
5 years ago
..
lint.yml [easy] run typechecking on CI (#954) 5 years ago
test.yml update events for GH actions to include PRs (#511) 5 years ago