From 7f11f18d0afb3251082645714a181c4dce0598a2 Mon Sep 17 00:00:00 2001
From: Florin Blanaru <florin.blanaru96@gmail.com>
Date: Fri, 20 Jan 2023 20:59:33 +0200
Subject: [PATCH] [CI] Update rerun list for tvm-bot

---
 ci/scripts/github/github_tvmbot.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/ci/scripts/github/github_tvmbot.py b/ci/scripts/github/github_tvmbot.py
index d8dfcdb5b312..a692340a8e05 100755
--- a/ci/scripts/github/github_tvmbot.py
+++ b/ci/scripts/github/github_tvmbot.py
@@ -540,6 +540,7 @@ def rerun_jenkins_ci(self) -> None:
             "tvm-i386",
             "tvm-lint",
             "tvm-minimal",
+            "tvm-minimal-cross-isa",
             "tvm-riscv",
             "tvm-wasm",
         ]