From 8f221a484940b610d3f8ace353d20925872fb948 Mon Sep 17 00:00:00 2001 From: David Baker Date: Wed, 8 Sep 2021 18:37:13 +0100 Subject: [PATCH] Rename type checking script 'cos it's type chekcing, not linting --- .github/workflows/{lint.yaml => typecheck.yaml} | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) rename .github/workflows/{lint.yaml => typecheck.yaml} (97%) 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]