diff --git a/.github/workflows/lint_and_types.yaml b/.github/workflows/lint_and_types.yaml index bf72b4f3..deaadf9c 100644 --- a/.github/workflows/lint_and_types.yaml +++ b/.github/workflows/lint_and_types.yaml @@ -1,8 +1,12 @@ name: Lint and types on: - - push - - pull_request + push: + branches: + - master + pull_request: + branches: + - master jobs: lint: