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", ]