run lint and typecheck on PRs

This commit is contained in:
AAGaming
2023-09-25 13:37:15 -04:00
committed by marios8543
parent de1b24b8bc
commit df08f611b9

View File

@@ -2,6 +2,7 @@ name: Type Check
on: on:
push: push:
pull_request:
jobs: jobs:
typecheck: typecheck: