Skip to content

Make untransl_modalities filter identity modalities#2788

Merged
riaqn merged 2 commits intomainfrom
liam/filter-identities
Jul 16, 2024
Merged

Make untransl_modalities filter identity modalities#2788
riaqn merged 2 commits intomainfrom
liam/filter-identities

Conversation

@liam923
Copy link
Copy Markdown
Contributor

@liam923 liam923 commented Jul 16, 2024

No description provided.

@liam923 liam923 requested a review from riaqn July 16, 2024 14:25
Copy link
Copy Markdown
Contributor

@riaqn riaqn left a comment

Choose a reason for hiding this comment

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

LGTM

@riaqn riaqn merged commit a6249e4 into main Jul 16, 2024
@riaqn riaqn deleted the liam/filter-identities branch July 16, 2024 15:36
lukemaurer pushed a commit to lukemaurer/flambda-backend that referenced this pull request Oct 23, 2024
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.

2 participants