Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Conversation

@maerhart
Copy link
Member

@maerhart maerhart commented Oct 6, 2025

No description provided.

@maerhart maerhart added the RTG Involving the `rtg` dialect label Oct 6, 2025
Copy link
Member

@uenoku uenoku left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@maerhart maerhart merged commit 4584498 into main Oct 7, 2025
7 checks passed
@maerhart maerhart deleted the maerhart-rtg-relax-embed-validation-pass branch October 7, 2025 09:04
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

RTG Involving the `rtg` dialect

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants