Skip to content

ci: every changelog and PR-title check finishes, rather than being cancelled by the next PR edit - #714

Merged
FBumann merged 1 commit into
mainfrom
claude/no-cancel
Sep 25, 2026
Merged

FBumann merged 1 commit into
mainfrom
claude/no-cancel

Conversation

@FBumann

@FBumann FBumann commented Sep 25, 2026

Copy link
Copy Markdown
Contributor

Prompt: Yes, close 712 and do that

This replaces #712. The answer to "Is this worth the complexity in ci?" was to remove the concurrency groups instead.

Note

The following content was generated by AI.

changelog.yml and pr-title.yml lose their concurrency groups, which is 8 lines removed. A PR description edit still starts a run, but no edit cancels the run before it, so the checks list shows finished runs and no cancelled ones.

Why this rather than #712, gates

Gates: pixi run lint, including zizmor on both workflows, passes. The workflows run on this PR.

The type is ci, which owes no changelog line.

🤖 Generated with Claude Code

https://claude.ai/code/session_01Q8Y8AoPsJCyMsURHvgzm7h


Generated by Claude Code

…ncelled by the next PR edit

Both workflows lose their concurrency group. A run takes seconds, so a
run per edit costs little, and the checks list shows one result per
event instead of a stack of cancelled runs.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01Q8Y8AoPsJCyMsURHvgzm7h
@FBumann
FBumann enabled auto-merge (squash) September 25, 2026 10:59
@FBumann
FBumann merged commit ca2e04b into main Sep 25, 2026
5 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants