Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[PyRTG] Support sets #8229

Merged
merged 1 commit into from
Feb 19, 2025
Merged

[PyRTG] Support sets #8229

merged 1 commit into from
Feb 19, 2025

Conversation

maerhart
Copy link
Member

No description provided.

@maerhart maerhart added the RTG Involving the `rtg` dialect label Feb 12, 2025
@maerhart maerhart force-pushed the maerhart-pyrtg-labels branch from 36078b3 to 1633cf0 Compare February 13, 2025 21:54
@maerhart maerhart force-pushed the maerhart-pyrtg-sets branch from 885b2bf to 53fdca4 Compare February 13, 2025 21:55
@maerhart maerhart force-pushed the maerhart-pyrtg-labels branch from 1633cf0 to ff9c4c2 Compare February 19, 2025 13:32
Base automatically changed from maerhart-pyrtg-labels to main February 19, 2025 13:32
@maerhart maerhart force-pushed the maerhart-pyrtg-sets branch from 53fdca4 to 6e07c74 Compare February 19, 2025 13:34
@maerhart maerhart merged commit caa4da5 into main Feb 19, 2025
5 checks passed
@maerhart maerhart deleted the maerhart-pyrtg-sets branch February 19, 2025 13:35
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