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 2021/11/24 02:58:46 UTC

[GitHub] [tvm] areusch commented on pull request #9554: Implement [skip ci] for Jenkins

areusch commented on pull request #9554:
URL: https://github.com/apache/tvm/pull/9554#issuecomment-977454618


   couple thoughts:
   1. i think we should add unit tests for something like this so we can be sure it works correctly. it would be great to consider the cases of:
      - main has `[skip ci]` commit
      - PR branch has `[skip ci]` commit
      - no `[skip ci]` commit exists
   2. we might consider submitting this for RFC considering as it's a change to the development process.
   
   i'm also curious about @leandron's comment about flagging skipped PRs.


-- 
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