areusch opened a new pull request, #12210: URL: https://github.com/apache/tvm/pull/12210
* This patch addresses #12097 by referencing the branch from the `BRANCH_NAME` environment variable, which is also used in the Jenkinsfile * This avoids git rev-parse, which assumes the local repo contains a git branch that matches the name of the branch being merged. I think this is in spirit of what the script was trying for. cc @driazati @yongwww (FYI as CI monitoring rotation). -- 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]
