Skip to content

fix: pull-v4-into-v4-next workflow — switch push trigger to schedule#21425

Merged
ludamad merged 1 commit intonextfrom
claudebox/github-workflow-from-pr-21424
Mar 12, 2026
Merged

fix: pull-v4-into-v4-next workflow — switch push trigger to schedule#21425
ludamad merged 1 commit intonextfrom
claudebox/github-workflow-from-pr-21424

Conversation

@AztecBot
Copy link
Collaborator

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

The workflow has never executed successfully (208 runs, 0 successes) because
PR merges use GITHUB_TOKEN which triggers GitHub's anti-recursion protection.

- Replace push trigger with schedule (every 15 min) + workflow_dispatch
- Add early-exit check when v4-next is already up to date with v4
- Gate all merge/push/PR steps on needs_merge output
@AztecBot AztecBot added the claudebox Owned by claudebox. it can push to this PR. label Mar 12, 2026
@ludamad ludamad marked this pull request as ready for review March 12, 2026 14:22
@ludamad ludamad requested a review from charlielye as a code owner March 12, 2026 14:22
@ludamad ludamad enabled auto-merge March 12, 2026 14:23
@ludamad ludamad added this pull request to the merge queue Mar 12, 2026
Merged via the queue into next with commit 4593c1b Mar 12, 2026
30 of 33 checks passed
@ludamad ludamad deleted the claudebox/github-workflow-from-pr-21424 branch March 12, 2026 15:10
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