[ci] Generate Jenkinsfile from a template - #10740

[ci] Generate Jenkinsfile from a template#10740

areusch merged 2 commits into

apache:mainapache/tvm:mainfrom

driazati:generate_jenkinsCopy head branch name to clipboard