[CI] Remove Jenkins PR linter step#19795

tqchen wants to merge 1 commit into

apache:mainapache/tvm:mainfrom

tqchen:tvm-remove-check-pr-ci-stagetqchen/tvm:tvm-remove-check-pr-ci-stageCopy head branch name to clipboard