Skip to content

Bump TheRock to 7.13.0a20260413#334

Closed
iree-pr-automator[bot] wants to merge 1 commit intomainfrom
bump-therock/2026-04-13
Closed

Bump TheRock to 7.13.0a20260413#334
iree-pr-automator[bot] wants to merge 1 commit intomainfrom
bump-therock/2026-04-13

Conversation

@iree-pr-automator
Copy link
Copy Markdown
Contributor

Summary

Automated nightly TheRock version bump.

Dependency Old New
TheRock 7.13.0a20260321 7.13.0a20260413

Auto-generated by bump-deps.yml.

TheRock: 7.13.0a20260321 -> 7.13.0a20260413
Signed-off-by: iree-pr-automator[bot] <iree-github-actions-bot@google.com>
@sjain-stanford sjain-stanford deleted the bump-therock/2026-04-13 branch April 13, 2026 16:41
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