Repository navigation
seals: re-save t27os_T27osGlassWindow, stale since #13009 (Refs #13292) - #13293
Merged
Merged
Conversation
Master e599065 (#13009, ad0ec68) changed specs/t27os/glass_window.t27 without re-saving its seal, so Seal Coverage and the Spec Guards seal-currency step listed it on master and on every open PR. Re-saved with t27c seal --save from a T27 OS shell-cell pane, using a t27c built from cb1c1d6, the last bootstrap/ change on master. Tests 103/103. The four gen hashes equal the current= prefixes of master Spec Guards run 42402028424. No spec edit, no baseline entry, no bless. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Contributor
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.
Re-saves one seal,
.trinity/seals/t27os_T27osGlassWindow.json. It went stale when master e599065 (#13009) changedspecs/t27os/glass_window.t27without a re-save. Since then master's Seal Coverage and the Spec Guards seal-currency step both list it, and every open PR inherits both reds.How it was saved:
t27c seal specs/t27os/glass_window.t27 --savewas run in a T27 OS shell-cell pane, the same route as seals: re-seal the four gen-drifted t27os specs (Closes #13151) #13152 and chore(seals): re-save fpga_fpga_wasm_board with a post-#12824 t27c (Refs #12972) #12998.bootstrap/change on master.current=prefixes in master Spec Guards run 42402028424: rust 5b3c438f1e7a, zig cc9948bb1647, c 2ee9db11c36a, verilog 456bd9c29f44.[1]T = [...]declaration, so the parser fix in parser: [1]T{...} keeps its element list; re-save four trios-chat seals (Closes #13285) #13290 does not move these hashes.Diff: 1 seal
.jsonfile, +9/-9, and 0 files underspecs/. No baseline entry and no bless. There is no twin seal file for this spec.Closes #13292
🤖 Generated with Claude Code