Repository navigation
ci: declare the gkp-8cpu-16gb-arm64 runner label for actionlint - #638
Merged
Merged
Conversation
The release workflow will run its prebuilt linux-aarch64 tarball on the protected GKE runner gkp-8cpu-16gb-arm64. The label is valid in the org canon (runner group gke-protected), but this repository's actionlint table does not list it yet, so actionlint would refuse any workflow that names it. Admission judges a pull request's workflow files with the base branch's rule table, so a change cannot add a label and use it in the same pull request. Land the label first, on its own; the workflow change follows. No workflow uses the label yet. Co-Authored-By: Claude Sonnet 5.5 <[email protected]>
The engine ruleset requires the branch to be up to date with main. A merge commit keeps the pushed head 86ca980 in the history; no rebase and no force push. The branch's own change is unchanged: .github/actionlint.yaml gains the gkp-8cpu-16gb-arm64 runner label and nothing else. Co-Authored-By: Claude Sonnet 5.5 <[email protected]>
There was a problem hiding this comment.
Graphify reviewed this change.
No issues found by static checks — no coupling regressions or blocking issues in the code graph. That is not the same as safe to merge: see what was not checked.
Not checked: tests were not run; no formal proof of the changed code.
No blocking issues. I didn't find anything I'd hold the merge for.
Analysis details — impact, health, verification
Impact & health
Graphify review
Impact — 0 functions depend on the 0 functions this change touches.
Health — grade A; no new coupling hotspots.
Verification — 0 functions in the blast radius were not formally verified this run (proofs are advisory here).
Gate & verification
graphify gate
PASS — objectively clean (no health regressions, tests not run — proofs not run this pass (advisory)). Grounded, not self-assessed.
This was referenced Oct 29, 2026
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
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.
Declares the
gkp-8cpu-16gb-arm64runner label in.github/actionlint.yaml. No workflow uses it yet; a follow-up moves the release ARM tarball build onto that runner. The label must be on main first, because admission checks a pull request's workflows against main's label table.Verification: the full lab gate passed on this exact commit (preflight, release, debug, sanitizers, kernel, docs, parity, subset).
🤖 Generated with Claude Code