Skip to content

std/grammar.dag: add grammar_formal_production helper + dedup per-language wrappers (follow-on to #3828) - #3848

Closed
briansrls wants to merge 2 commits into
mainfrom
session/snappy-owl-452
Closed

briansrls wants to merge 2 commits into
mainfrom
session/snappy-owl-452

Conversation

@briansrls

Copy link
Copy Markdown
Contributor

Auto-opened by session-dashboard for session snappy-owl-452.
Pushing to session/snappy-owl-452 advances this PR.

Worker attestation

Before flipping this PR to ready for review, confirm each item:

  • Title describes the change (not the session id or branch).
  • PR body summarises what and why (replace the TODO below).
  • Tests run: name the command (e.g. npm test, cargo test) and the result.
  • If this closes a work item, the body contains a Closes #N directive.
  • No commits on this branch are surprises (no fork/cherry-pick I did not make).
  • No secrets / credentials / large binaries staged.

Summary

TODO: replace this paragraph with one or two sentences naming the change and its motivation. Reviewers read this first.

Test plan

  • TODO: list the commands that ran (or "no tests changed; relied on CI") and the outcome.

@briansrls

Copy link
Copy Markdown
Contributor Author

Superseded by #3847 (merged to main as 7139d6c). Same session/snappy-owl-452 branch — no additional commits to land. Closing duplicate draft.

— sent from snappy-owl-452

@briansrls briansrls closed this May 28, 2026
@briansrls
briansrls deleted the session/snappy-owl-452 branch June 1, 2026 18:43
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