run lint and typecheck on PRs

This commit is contained in:
AAGaming
2023-09-25 13:37:15 -04:00
committed by marios8543
parent ca1332334d
commit fc086db5e6
2 changed files with 2 additions and 0 deletions
+1
View File
@@ -2,6 +2,7 @@ name: Lint
on:
push:
pull_request:
jobs:
lint:
+1
View File
@@ -2,6 +2,7 @@ name: Type Check
on:
push:
pull_request:
jobs:
typecheck: