diff --git a/ci/scripts/github/github_tvmbot.py b/ci/scripts/github/github_tvmbot.py index 24308cd77cb0..557ff1be52e6 100755 --- a/ci/scripts/github/github_tvmbot.py +++ b/ci/scripts/github/github_tvmbot.py @@ -536,7 +536,6 @@ def rerun_jenkins_ci(self) -> None: "tvm-cpu", "tvm-docker", "tvm-gpu", - "tvm-lint", "tvm-wasm", ] for name in job_names: