Lunderberg commented on pull request #8670: URL: https://github.com/apache/tvm/pull/8670#issuecomment-895135321
> LGTM, just noticed there is an empty `Jenkinsfile` here. Is that intentional? It should be the same contents of the Jenkinsfile before and after this PR. My first implementation in this branch introduced modifications to the Jenkinsfile, as the call syntax needed to include a `--` prior to the command being run. When I updated it to avoid using GNU `getopt`, I fixed this requirement, and so reverted the changes to the Jenkinsfile. It looks like GitHub is displaying an empty diff, not that the Jenkinsfile itself is empty. -- 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]
