fix(queen): the review's t27c follows master's compiler, not a cached layer - #508
Merged
Merged
Conversation
… layer The t27c stage clones master, and its own comment admits the catch: a cached layer serves the sha it recorded, and the fix was "bump the ARG", which nobody did. Measured 2026-09-22: the review's t27c accepted `mut coq_count: i32 = 0;` in #4385 while the required parse-ratchet, which builds t27c from master, refused it - the Queen accepted work the pull request could never land. An ADD of the newest commit touching bootstrap/ now keys the layer: the 15-minute compiler build reruns exactly when the compiler changes, and not for the spec-only commits in between. Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
✅ Tests passed — 2393/2453
|
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.
The review's
t27cacceptedmut coq_count: i32 = 0;in t27#4385. The requiredparse-ratchet, which buildst27cfrommaster, refused it (parse error in fn 'is_coq' near line 17). So the Queen accepted work its PR could never land.The
t27cstage clonesmaster, but Docker caches that layer, and the only refresh mechanism was "bump the ARG" by hand. AnADDof the newest commit touchingbootstrap/(/repos/gHashTag/t27/commits?path=bootstrap&sha=master&per_page=1) now keys the layer. The 15-minute compiler build reruns exactly when the compiler changes, and not for spec-only commits.Companion to #507: that one catches the leftovers after the fact (a red required check takes the acceptance back); this one stops most of them before.
🤖 Generated with Claude Code