driazati opened a new pull request #9556: URL: https://github.com/apache/tvm/pull/9556
This uses the optional [`label` argument](https://www.jenkins.io/doc/pipeline/steps/workflow-durable-task-step/#sh-shell-script) on shell scripts in Jenkins to assign each one in CI a human-friendly name. This should help make it more clear what is going on in CI without having to dig into individual commands. Tested in the test Jenkins [here](https://jenkins.tvm.octoml.ai/blue/organizations/jenkins/octoml-tvm/activity?branch=driazati%2Fjenkins_names) -- 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]
