driazati edited a comment on pull request #10448: URL: https://github.com/apache/tvm/pull/10448#issuecomment-1057356221
@masahi is right, both the commit message and the PR title at the time the build is run have to start with `[skip ci]` (so you need to re-push the commit so the check runs again). We're working on a glob-based approach for auto-skipping CI for certain files (e.g. `*.md`) soon that should obviate the need for this though: #10456 -- 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]
