From fc086db5e6f6b35f0b98042974b985435f0be688 Mon Sep 17 00:00:00 2001 From: AAGaming Date: Mon, 25 Sep 2023 13:37:15 -0400 Subject: run lint and typecheck on PRs --- .github/workflows/lint.yml | 1 + .github/workflows/typecheck.yml | 1 + 2 files changed, 2 insertions(+) (limited to '.github/workflows') diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml index 24e756bf..b2a93057 100644 --- a/.github/workflows/lint.yml +++ b/.github/workflows/lint.yml @@ -2,6 +2,7 @@ name: Lint on: push: + pull_request: jobs: lint: diff --git a/.github/workflows/typecheck.yml b/.github/workflows/typecheck.yml index d55a8f98..056b4f9f 100644 --- a/.github/workflows/typecheck.yml +++ b/.github/workflows/typecheck.yml @@ -2,6 +2,7 @@ name: Type Check on: push: + pull_request: jobs: typecheck: -- cgit v1.2.3