Skip to content

[CI] Remove Jenkins PR linter step#19795

Closed
tqchen wants to merge 1 commit into
apache:mainfrom
tqchen:tvm-remove-check-pr-ci-stage
Closed

[CI] Remove Jenkins PR linter step#19795
tqchen wants to merge 1 commit into
apache:mainfrom
tqchen:tvm-remove-check-pr-ci-stage

[CI] Remove Jenkins PR linter step

7cba56e
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

6 warnings
Windows
succeeded Jun 16, 2026 in 1h 29m 3s