gigiblender commented on PR #11767: URL: https://github.com/apache/tvm/pull/11767#issuecomment-1160547689
> Hi @gigiblender - thanks for the PR. While I acknowledge you fix is very simple and shouldn't do any harm to the code base, I don't think the usage of the `[skip ci]` here applies within the agreed rules. > > The reason is that this PR is not fixing a blocking issue in CI, which is the intention of the `[skip ci]` mechanism to exist. For this reason, could you please update the header of this PR and re-trigger CI, so that we can then merge it? > > For reference, here is`[skip ci]` header description: > > https://github.com/apache/tvm/blob/b9890dbbebeff95202a7dc65cbce3e808869cd33/jenkins/README.md?plain=1#L76-L84 Apologies @leandron. Wasn't aware of that. I changed the title and reran the CI. -- 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]
