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

Bump IREE to 05bbcf1385146d075829cd940a52bf06961614d0 #845

Merged
merged 2 commits into from
Oct 17, 2024

Conversation

makslevental
Copy link
Collaborator

@makslevental makslevental commented Oct 15, 2024

Get iree-org/iree#18766 which fixes a TODO.

@yzhang93 yzhang93 changed the title Bump IREE 10/15/204 Bump IREE to 05bbcf1385146d075829cd940a52bf06961614d0 Oct 17, 2024
@yzhang93
Copy link
Contributor

@makslevental Next time when you bump IREE please use the commit number instead of date in your commit message/PR title.

@makslevental
Copy link
Collaborator Author

@yzhang93 thank you very much for helping me with this - it would've taken me quite a while to figure this out.

@makslevental makslevental merged commit 939bd9b into main Oct 17, 2024
6 checks passed
@makslevental makslevental deleted the makslevental/bump-iree2 branch October 17, 2024 22:05
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