You are viewing a plain text version of this content. The canonical link for it is here.

Posted to commits@tvm.apache.org by GitBox <gi...@apache.org> on 2022/06/20 14:53:34 UTC

[GitHub] [tvm] gigiblender commented on pull request #11767: [CI] Change docker lint message

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: commits-unsubscribe@tvm.apache.org

For queries about this service, please contact Infrastructure at:
users@infra.apache.org