summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAAGaming <aagaming@riseup.net>2023-09-25 13:37:15 -0400
committermarios8543 <marios8543@gmail.com>2023-10-17 17:08:23 +0300
commitfc086db5e6f6b35f0b98042974b985435f0be688 (patch)
tree5962e06d7e57066149adc483ef9d1937a0229051
parentca1332334d3e05d36419b3a65b6f5dbee35409ca (diff)
downloaddecky-loader-fc086db5e6f6b35f0b98042974b985435f0be688.tar.gz
decky-loader-fc086db5e6f6b35f0b98042974b985435f0be688.zip
run lint and typecheck on PRs
-rw-r--r--.github/workflows/lint.yml1
-rw-r--r--.github/workflows/typecheck.yml1
2 files changed, 2 insertions, 0 deletions
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: