diff options
Diffstat (limited to '.github/workflows/check-query-files-and-compilation.yml')
| -rw-r--r-- | .github/workflows/check-query-files-and-compilation.yml | 14 |
1 files changed, 13 insertions, 1 deletions
diff --git a/.github/workflows/check-query-files-and-compilation.yml b/.github/workflows/check-query-files-and-compilation.yml index 05bf623b5..09c1ed6d2 100644 --- a/.github/workflows/check-query-files-and-compilation.yml +++ b/.github/workflows/check-query-files-and-compilation.yml @@ -1,6 +1,18 @@ name: Parser compilation and query file check -on: [push, pull_request] +on: + push: + branches: + - 'master' + pull_request: + types: [opened, synchronize, reopened, ready_for_review] + branches: + - 'master' + +# Cancel any in-progress CI runs for a PR if it is updated +concurrency: + group: ${{ github.workflow }}-${{ github.event_name == 'pull_request' && github.head_ref || github.sha }} + cancel-in-progress: true jobs: check_compilation_unix_like: |