Skip to content

gen: commit gen/rust/t27os/release.rs so cli/tri compiles (Closes #11327) - #11328

Merged
gHashTag merged 1 commit into
masterfrom
claude/fix-tri-release-gen
Oct 20, 2026
Merged

gHashTag merged 1 commit into
masterfrom
claude/fix-tri-release-gen

Conversation

@gHashTag

Copy link
Copy Markdown
Owner

Closes #11327.

#11324 added mod t27rel; to cli/tri/src/main.rs (path ../../../gen/rust/t27os/release.rs) but did not commit the generated file, because gen/ is gitignored and the file needed git add -f. This adds exactly t27c gen-rust specs/t27os/release.t27 output from a t27c built from master; no other change. cargo build -p tri compiles on this branch.

🤖 Generated with Claude Code

…m specs/t27os/release.t27; cli/tri mod t27rel needs it (Closes #11327)

#11324 added mod t27rel in cli/tri/src/main.rs but not the generated file, because gen/ is gitignored and needs git add -f. Hooks could not run in the authoring shell; the file is t27c-master output, byte for byte.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
@gHashTag
gHashTag enabled auto-merge (squash) October 20, 2026 11:11
@github-actions

Copy link
Copy Markdown
Contributor

PR Dashboard

Generated at: 2026-10-20 11:11:34 UTC

Summary

Status Count
Total Open PRs 50
PRs with Failing Checks 47
PRs with All Checks Green 3
READY 2
FAILING 47
PENDING 0
NO CHECKS YET 0

These columns do not partition: 2 + 47 + 0 + 0 = 49, and there are 50 open PRs. A PR is being counted twice or not at all.

Seal Status

  • ⚠️ STALE -- sha256(compiler.rs)=5aec047d42ec != manifest seal=87e5cbd3ad94.
    The committed NMSE numbers were certified against an older compiler.rs.
    Run scripts/reseal-check.sh locally for the two-step reseal command (advisory; not a merge gate).

@gHashTag
gHashTag merged commit aad1118 into master Oct 20, 2026
29 of 30 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

master red: cli/tri needs gen/rust/t27os/release.rs, which #11324 did not commit

2 participants