[CI] Update rerun list for tvm-bot (#13817)

Update rerun list for tvm-bot
apache · Jan 20, 2023 · efa5a38 · efa5a38
1 parent fe372a7
commit efa5a38
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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",
         ]