Skip to content

Conversation

maerhart
Copy link
Member

@maerhart maerhart commented Jul 3, 2025

No description provided.

@maerhart maerhart added the RTG Involving the `rtg` dialect label Jul 3, 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 other than few nits.

Copy link
Contributor

@fabianschuiki fabianschuiki 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 force-pushed the maerhart-rtg-embed-validation-values branch from 436d2d8 to 09140c9 Compare July 7, 2025 14:10
@maerhart maerhart merged commit 587474b into main Jul 7, 2025
7 checks passed
@maerhart maerhart deleted the maerhart-rtg-embed-validation-values branch July 7, 2025 14:43
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.

3 participants