diff --git a/.github/workflows/check.yml b/.github/workflows/check.yml index 395fd20..03d0901 100644 --- a/.github/workflows/check.yml +++ b/.github/workflows/check.yml @@ -1,8 +1,15 @@ name: check on: push: + branches: [main] + tags: ['**'] pull_request: workflow_dispatch: +# Supersede only the same PR; main, tags and manual runs stay independent. +concurrency: + group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.run_id }} + cancel-in-progress: true + permissions: contents: read jobs: