diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 4f99575cd..e88db7d86 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -1,6 +1,10 @@ name: CI -on: push +on: + push: + branches: + - main + pull_request: jobs: typecheck: