diff --git a/.github/workflows/run_code_checks.yaml b/.github/workflows/run_code_checks.yaml index 5ff67cdb..7a46c451 100644 --- a/.github/workflows/run_code_checks.yaml +++ b/.github/workflows/run_code_checks.yaml @@ -6,6 +6,16 @@ on: # step required for PRs from forks. This prevents their potential exposure. pull_request: + # Pushing to the master branch triggers code checks + push: + branches: + - master + tags-ignore: + - "**" # Ignore all tags to prevent duplicate checks when tags are pushed. + + # It should also be possible to trigger checks manually + workflow_dispatch: + jobs: lint_check: name: Lint check