Bump TheRock to 7.13.0a20260513

iree-github-actions-bot · iree-github-actions-bot · commit fc49ec61d151 · 2026-05-13T12:56:26.000Z
TheRock: 7.13.0a20260512 -&gt; 7.13.0a20260513
Signed-off-by: iree-pr-automator[bot] &lt;iree-github-actions-bot@google.com&gt;
diff --git a/version.json b/version.json
@@ -1,5 +1,5 @@
 {
   "package-version": "0.0.1.dev",
   "iree-version": "3.12.0rc20260512",
-  "therock-version": "7.13.0a20260512"
+  "therock-version": "7.13.0a20260513"
 }
