Skip to content

fix(ci): cancel obsolete pull request workflows - #10715

Merged
Rello merged 1 commit into
masterfrom
codex/ci-cancel-superseded-runs
Sep 2, 2026
Merged

fix(ci): cancel obsolete pull request workflows#10715
Rello merged 1 commit into
masterfrom
codex/ci-cancel-superseded-runs

Conversation

@Rello

@Rello Rello commented Sep 2, 2026

Copy link
Copy Markdown
Collaborator
  • Adds PR-scoped concurrency to all 15 pull-request workflows.
  • Uses cancel-in-progress: true to cancel obsolete runs after new commits.
  • Adds the closed activity so closing or merging a PR cancels its active runs.
  • Prevents cancellation-only runs from executing jobs.
  • Preserves separate concurrency for master push workflows.

note on the if-condition. this is used to cancel existing runs when a PR is closed

  • Another commit creates a new run in the same group. Because cancel-in-progress: true, GitHub cancels the older run.
  • Closing or merging the PR emits the newly enabled closed event. That creates another run in the same group, causing GitHub to cancel the active run.
  • The job condition prevents the new close-event run from doing any work

Assisted-by: Codex:GPT-5

Signed-off-by: Rello <github@scherello.de>

Assisted-by: Codex:GPT-5
@sonarqubecloud

sonarqubecloud Bot commented Sep 2, 2026

Copy link
Copy Markdown

@mgallien
mgallien enabled auto-merge September 2, 2026 12:11
@Rello

Rello commented Sep 2, 2026

Copy link
Copy Markdown
Collaborator Author

/backport to stable-34.0

@Rello
Rello disabled auto-merge September 2, 2026 12:22
@Rello
Rello merged commit 5b7aff8 into master Sep 2, 2026
23 of 25 checks passed
@Rello
Rello deleted the codex/ci-cancel-superseded-runs branch September 2, 2026 12:23
@backportbot

backportbot Bot commented Sep 2, 2026

Copy link
Copy Markdown

The backport to stable-34.0 failed. Please do this backport manually.

# Switch to the target branch and update it
git checkout stable-34.0
git pull origin stable-34.0

# Create the new backport branch
git checkout -b backport/10715/stable-34.0

# Cherry pick the change from the commit sha1 of the change against the default branch
# This might cause conflicts, resolve them
git cherry-pick da8d45b3

# Push the cherry pick commit to the remote repository and open a pull request
git push origin backport/10715/stable-34.0

Error: Failed to clone repository: Failed to create working tree: error: RPC failed; HTTP 401 curl 22 The requested URL returned error: 401
fatal: expected flush after ref listing


Learn more about backports at https://docs.nextcloud.com/server/stable/go.php?to=developer-backports.

mgallien added a commit that referenced this pull request Sep 2, 2026
[stable-34.0] fix(ci): cancel obsolete pull request workflows - #10715
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants