diff --git a/.github/workflows/lint-caller.yml b/.github/workflows/lint-caller.yml index 3d605e9..500ab50 100644 --- a/.github/workflows/lint-caller.yml +++ b/.github/workflows/lint-caller.yml @@ -1,11 +1,16 @@ --- name: Lint +# PR-only: branch protection makes the merge commit identical to the +# last PR head, so re-running on push to main is duplicate work. See +# docs/workflow-trigger-conventions.md. on: pull_request: - push: - branches: - - main + workflow_dispatch: # checkov:skip=CKV_GHA_7: Validation workflow only -- no artifacts produced. + +concurrency: + group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }} + cancel-in-progress: true permissions: contents: read