Skip to content

fix: pull-v4-into-v4-next workflow never executes (switch push trigger to schedule)#21424

Closed
AztecBot wants to merge 1 commit intonextfrom
claudebox/fix-pull-v4-into-v4-next
Closed

fix: pull-v4-into-v4-next workflow never executes (switch push trigger to schedule)#21424
AztecBot wants to merge 1 commit intonextfrom
claudebox/fix-pull-v4-into-v4-next

Conversation

@AztecBot
Copy link
Collaborator

Summary

The pull-v4-into-v4-next workflow has 208 runs and 0 successes — it has never worked. This means v4-next has been falling behind v4 silently, requiring manual intervention to sync.

Root cause: The workflow triggers on push to v4, but PR merges (both manual via the GitHub UI and auto-merge via gh pr merge --auto) create push events using GitHub's internal GITHUB_TOKEN. GitHub's anti-recursion protection prevents workflows triggered by GITHUB_TOKEN-created events from executing jobs — so the runs are created but immediately fail with 0 jobs.

Fix: Replace the push trigger with a schedule cron (every 15 minutes) + workflow_dispatch. Added an early-exit check (git rev-list --count v4-next..origin/v4) so runs are no-ops when branches are already in sync.

Changes (proposed in .github-new/)

The modified workflow file is at .github-new/workflows/pull-v4-into-v4-next.yml — copy it to .github/workflows/ to apply.

  • Replace on: push: branches: [v4] with on: schedule: cron '*/15 * * * *' + workflow_dispatch
  • Add "Check if v4 is ahead of v4-next" step that skips the run if already synced
  • All subsequent steps gated on needs_merge == 'true'
  • No other logic changes

Context

PR #21355 was merged to v4 ~16h ago but never forwarded to v4-next, blocking the nightly release from including those fixes.

ClaudeBox log: https://claudebox.work/s/0d99ab68b1e8e26a?run=3

@AztecBot AztecBot added the claudebox Owned by claudebox. it can push to this PR. label Mar 12, 2026
github-merge-queue bot pushed a commit that referenced this pull request Mar 12, 2026
…21425)

## Summary

Replaces #21424 —
same fix but with the workflow in `.github/` directly instead of
`.github-new/`.

The `pull-v4-into-v4-next` workflow has **208 runs and 0 successes** —
it has never worked. PR merges (both manual and auto-merge) create push
events using GitHub's internal `GITHUB_TOKEN`, and GitHub's
anti-recursion protection prevents workflows triggered by those events
from executing jobs.

**Changes:**
- Replace `on: push: branches: [v4]` with `on: schedule: cron '*/15 * *
* *'` + `workflow_dispatch`
- Add "Check if v4 is ahead of v4-next" step that skips the run when
already synced
- Gate all subsequent steps on `needs_merge == 'true'`
- No other logic changes

Supersedes #21424

ClaudeBox log: https://claudebox.work/s/4acfe00daf0aeff1?run=1
@ludamad ludamad closed this Mar 13, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

claudebox Owned by claudebox. it can push to this PR.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants