[CI] Remove tvm-lint from tvm-bot (#19629)

yongwww · web-flow · commit 30c555bd202f · 2026-05-28T07:04:15.000-04:00
Remove tvm-lint from tvm-bot
diff --git 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:

Original file line number	Diff line number	Diff line change
`@@ -536,7 +536,6 @@ def rerun_jenkins_ci(self) -> None:`
`536`	`536`	`"tvm-cpu",`
`537`	`537`	`"tvm-docker",`
`538`	`538`	`"tvm-gpu",`
`539`		`- "tvm-lint",`
`540`	`539`	`"tvm-wasm",`
`541`	`540`	`]`
`542`	`541`	`for name in job_names:`