leandron commented on a change in pull request #8721:
URL: https://github.com/apache/tvm/pull/8721#discussion_r686953267
##########
File path: Jenkinsfile
##########
@@ -107,6 +122,30 @@ def cancel_previous_build() {
cancel_previous_build()
+stage('Prepare') {
+ node('master') {
+ // When something is provided in ci_*_param, use it, otherwise default
with ci_*
Review comment:
That was my original plan, but Jenkins has these quirks... we can set
the default parameter, and that will be parsed/adopted by the UI once. To
update that later, it needs to be done via the UI, hence we can't count on
these defaults to be set _as code_.
--
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.
To unsubscribe, e-mail: [email protected]
For queries about this service, please contact Infrastructure at:
[email protected]
