Repository navigation
ci: devkit-sync on demand only (DEC-079) - #25
Merged
Merged
Conversation
Drops the nightly 04:00 UTC schedule; the workflow is workflow_dispatch only. A submodule pin is a deliberate dependency upgrade, and the schedule cost more than it delivered: 189 runs across the fleet produced 29 merged bumps, and from 2026-07-10 it silently no-op'd for three weeks behind the action_required gate. Bump deliberately with `make update-devkit`, or dispatch this workflow manually. Paired with the reusable-workflow fix that stops it deleting its own PR branch (agent-zero-plugin-development-testkit#54) — the delete is what closed 18 sync PRs, four of them already green.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Drops the nightly
04:00 UTCschedule — this workflow is nowworkflow_dispatch:only.A submodule pin is a deliberate dependency upgrade, not something that should land while nobody is watching. Measured across the fleet: 189 devkit-sync runs produced 29 merged bumps (51 PRs opened, 18 closed without merging). And from 2026-07-10 it silently no-op'd for three weeks — every night it opened a PR whose checks sat in
action_requiredawaiting approval, so nothing merged and nothing complained.Bumping still works exactly as before:
make update-devkit, or dispatch this workflow manually.Paired with testkit#54, which removes
git push origin --delete "$BRANCH_NAME"from the reusable workflow. That delete is what closed those 18 PRs — removing a head ref auto-closes its PR — including four that were already fully green.This repo needs its own commit because
devkit-syncdeliberately never writes.github/workflows/, so the template change does not propagate on its own.