[ci] Separate the ci scripts into Github and Jenkins scripts#12940

gigiblender wants to merge 1 commit intoapache:mainapache/tvm:mainfrom

gigiblender:separate-scriptsgigiblender/tvm:separate-scriptsCopy head branch name to clipboard