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/08/10 09:56:37 UTC

[GitHub] [tvm] Mousius opened a new pull request, #12360: [skip ci] [CI] Re-generate Jenkinsfile

Mousius opened a new pull request, #12360:
URL: https://github.com/apache/tvm/pull/12360

   Timing of merges resulted in the Jenkinsfile being out of sync


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

[GitHub] [tvm] lhutton1 merged pull request #12360: [skip ci] [CI] Re-generate Jenkinsfile

Posted by GitBox <gi...@apache.org>.

lhutton1 merged PR #12360:
URL: https://github.com/apache/tvm/pull/12360


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