Rename type checking script

'cos it's type chekcing, not linting
2021-09-08 18:37:13 +01:00 · 2021-09-08 18:37:13 +01:00 · 8f221a4849
parent 7ecb3c8dc7
commit 8f221a4849
1 changed files with 1 additions and 1 deletions
--- a/.github/workflows/typecheck.yaml
+++ b/.github/workflows/typecheck.yaml
@ -1,4 +1,4 @@
-name: Lint
+name: Type Check
 on:
    pull_request:
        branches: [develop]