From 0ab9aa33d1fd2d08ad59c7aad9194a1de14a7dec Mon Sep 17 00:00:00 2001 From: Yong Wu Date: Wed, 27 May 2026 14:23:49 -0700 Subject: [PATCH] [CI] Remove tvm-lint from tvm-bot --- ci/scripts/github/github_tvmbot.py | 1 - 1 file changed, 1 deletion(-) 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: