Skip to content

chore: release - merge dev into main#1427

Merged
zbigniewsobiecki merged 2 commits into
mainfrom
dev
Jun 22, 2026
Merged

chore: release - merge dev into main#1427
zbigniewsobiecki merged 2 commits into
mainfrom
dev

Conversation

@zbigniewsobiecki

Copy link
Copy Markdown
Member

Automated release PR created by the release workflow.

Commits (2):

1c036513 Merge pull request #1426 from mongrel-intelligence/fix/release-auto-merge-flake
b4344094 fix(ci): retry and verify auto-merge enablement in release workflow

zbigniewsobiecki and others added 2 commits June 22, 2026 17:04
The Enable auto-merge step ran gh pr merge --auto immediately after creating the
dev-to-main PR, but GitHub rejects enablePullRequestAutoMerge with "Pull request
is in unstable status" for a few seconds after PR creation (and the command can
even exit 0 without enabling while the merge state is UNKNOWN). The step failed
every release even though the PR was created fine, forcing a manual merge.

Retry up to 12 times with a 6s delay and verify autoMergeRequest actually stuck
after each attempt instead of trusting the exit code. Fails loudly only after the
retries are exhausted.

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
…erge-flake

fix(ci): retry and verify auto-merge enablement in release workflow
@zbigniewsobiecki zbigniewsobiecki merged commit d6f46f7 into main Jun 22, 2026
14 of 15 checks passed
@codecov

codecov Bot commented Jun 22, 2026

Copy link
Copy Markdown

Codecov Report

✅ All modified and coverable lines are covered by tests.

📢 Thoughts on this report? Let us know!

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.

1 participant