ci: cancel previous runs for tag pipelines
Reverts the change inad5bb38d70. https://github.com/orgs/community/discussions/13015 is now solved. Signed-off-by: Taimoor Zaeem <taimoorzaeem@gmail.com> (cherry picked from commit96f12f83f0)
This commit is contained in:
committed by
Wolfgang Walther
parent
3824e73c91
commit
51c51ea140
@@ -41,8 +41,7 @@ jobs:
|
|||||||
concurrency:
|
concurrency:
|
||||||
# Never tag outdated commits on the main branch by skipping superseded commits
|
# Never tag outdated commits on the main branch by skipping superseded commits
|
||||||
group: ci-tag-${{ (github.ref == 'refs/heads/main' && github.ref) || github.run_id }}
|
group: ci-tag-${{ (github.ref == 'refs/heads/main' && github.ref) || github.run_id }}
|
||||||
# TODO: Enable this once https://github.com/orgs/community/discussions/13015 is solved
|
cancel-in-progress: true
|
||||||
cancel-in-progress: false
|
|
||||||
if: vars.RELEASE_ENABLED
|
if: vars.RELEASE_ENABLED
|
||||||
runs-on: ubuntu-24.04
|
runs-on: ubuntu-24.04
|
||||||
needs:
|
needs:
|
||||||
|
|||||||
@@ -9,8 +9,7 @@ on:
|
|||||||
concurrency:
|
concurrency:
|
||||||
# Terminate all previous runs of the same workflow for the same tag.
|
# Terminate all previous runs of the same workflow for the same tag.
|
||||||
group: release-${{ github.ref }}
|
group: release-${{ github.ref }}
|
||||||
# TODO: Enable this once https://github.com/orgs/community/discussions/13015 is solved
|
cancel-in-progress: true
|
||||||
cancel-in-progress: false
|
|
||||||
|
|
||||||
jobs:
|
jobs:
|
||||||
build:
|
build:
|
||||||
|
|||||||
Reference in New Issue
Block a user