[CI] Prevent the complete Jenkins pipeline to run when files commited only to /docs#9031

areusch merged 27 commits into

apache:mainapache/tvm:mainfrom

mikepapadim:ci_trigger_on_docsmikepapadim/tvm:ci_trigger_on_docsCopy head branch name to clipboard