Run CI on all main/postsubmit commits.

Prior to this, the concurrency rules for presubmits (which cancel eagerly) were being applied to main. The result was that landing a second patch would cancel the CI on the one prior.
pull/2595/head snapshot-20231123.1031
Stella Laurenzo 2023-11-22 18:04:09 -08:00
parent 2148c4cd0d
commit 53fc995639
2 changed files with 10 additions and 2 deletions

View File

@ -11,7 +11,11 @@ on:
# any in-progress jobs in the same github workflow and github # any in-progress jobs in the same github workflow and github
# ref (e.g. refs/heads/main or refs/pull/<pr_number>/merge). # ref (e.g. refs/heads/main or refs/pull/<pr_number>/merge).
concurrency: concurrency:
group: ${{ github.workflow }}-${{ github.ref }} # A PR number if a pull request and otherwise the commit hash. This cancels
# queued and in-progress runs for the same PR (presubmit) or commit
# (postsubmit). The workflow name is prepended to avoid conflicts between
# different workflows.
group: ${{ github.workflow }}-${{ github.event.number || github.sha }}
cancel-in-progress: true cancel-in-progress: true

View File

@ -12,7 +12,11 @@ on:
# any in-progress jobs in the same github workflow and github # any in-progress jobs in the same github workflow and github
# ref (e.g. refs/heads/main or refs/pull/<pr_number>/merge). # ref (e.g. refs/heads/main or refs/pull/<pr_number>/merge).
concurrency: concurrency:
group: ${{ github.workflow }}-${{ github.ref }} # A PR number if a pull request and otherwise the commit hash. This cancels
# queued and in-progress runs for the same PR (presubmit) or commit
# (postsubmit). The workflow name is prepended to avoid conflicts between
# different workflows.
group: ${{ github.workflow }}-${{ github.event.number || github.sha }}
cancel-in-progress: true cancel-in-progress: true