ci: a newer push to studio cancels the CI and Studio runs still going for an older one, as a pull request already does; main-v2 keeps a result for every commit

This commit is contained in:
yhh committed 2026-11-07 05:49:11 -08:00
1 parent 0e43c6fbba
commit e115d0da4a
2 files changed
+2 -2

No files matched your search

+1 -1
View File
@@ -15,7 +15,7 @@ permissions:
concurrency:
group: ci-${{ github.ref }}
cancel-in-progress: ${{ github.event_name == 'pull_request' }}
cancel-in-progress: ${{ github.event_name == 'pull_request' || github.ref == 'refs/heads/studio' }}
jobs:
# Cheap path gate for pull requests. PRs confined to docs/release-notes
+1 -1
View File
@@ -16,7 +16,7 @@ permissions:
concurrency:
group: studio-${{ github.ref }}
cancel-in-progress: ${{ github.event_name == 'pull_request' }}
cancel-in-progress: ${{ github.event_name == 'pull_request' || github.ref == 'refs/heads/studio' }}
jobs:
frontend: