diff --git a/.github/workflows/lint.yaml b/.github/workflows/typecheck.yaml similarity index 97% rename from .github/workflows/lint.yaml rename to .github/workflows/typecheck.yaml index e7f12ab65d..bbbf7185d7 100644 --- a/.github/workflows/lint.yaml +++ b/.github/workflows/typecheck.yaml @@ -1,4 +1,4 @@ -name: Lint +name: Type Check on: pull_request: branches: [develop]