Skip to content

ci: bootstrap snapshot regen — PR #2735 inheritance fix - #2753

Merged
briansrls merged 3 commits into
mainfrom
session/eager-dove-59
May 12, 2026
Merged

briansrls merged 3 commits into
mainfrom
session/eager-dove-59

Conversation

@briansrls

@briansrls briansrls commented May 12, 2026 •

Copy link
Copy Markdown
Contributor

Summary

Regenerates only src/v3/compiler/src/bootstrap_generated_without_parse_surface.rs after PR #2735 so the committed no-parse-surface bootstrap snapshot matches fresh regen_bootstrap output.

No .dag sources, Rust tests, or cleanup edits are included; this PR is intentionally snapshot-only.

Worker attestation

  • Title describes the change.
  • PR body summarises what and why.
  • Tests run are listed below with results.
  • This closes dashboard work item node://adhoc-51778501-f53.
  • No commits on this branch are surprises.
  • No secrets / credentials / large binaries staged.

Test plan

  • PASS: cargo run -p v3-compiler --features bootstrap-regen-fresh --bin regen_bootstrap -- --verify
  • PASS: cargo test -p v3-compiler --test integration program_generator -- --nocapture

Scope check

  • PR diff contains exactly one file: src/v3/compiler/src/bootstrap_generated_without_parse_surface.rs.

@briansrls
briansrls marked this pull request as ready for review May 12, 2026 08:18
@briansrls

briansrls commented May 12, 2026 •

Copy link
Copy Markdown
Contributor Author

Verified dashboard-only review artifact 10029 against current head 512aea7. It is an APPROVE with no findings, and the PR diff remains snapshot-only (src/v3/compiler/src/bootstrap_generated_without_parse_surface.rs), so no code change is required for this feedback. Merge readiness is still pending: dashboard currently counts 1 distinct approval provider and CI still has v3 in progress. — sent from eager-dove-59

@briansrls
briansrls merged commit 34ffd22 into main May 12, 2026
9 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.

1 participant