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/14 18:10:48 UTC

[GitHub] [tvm] driazati opened a new pull request, #11714: [ci] Allow skip tag anywhere in PR title

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

   Fixes #11671
   
   


-- 
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] Mousius merged pull request #11714: [ci] Allow skip tag anywhere in PR title

Posted by GitBox <gi...@apache.org>.
Mousius merged PR #11714:
URL: https://github.com/apache/tvm/pull/11714


-- 
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] driazati commented on pull request #11714: [ci] Allow skip tag anywhere in PR title

Posted by GitBox <gi...@apache.org>.
driazati commented on PR #11714:
URL: https://github.com/apache/tvm/pull/11714#issuecomment-1166055395

   @tvm-bot rerun


-- 
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] Mousius commented on pull request #11714: [ci] Allow skip tag anywhere in PR title

Posted by GitBox <gi...@apache.org>.
Mousius commented on PR #11714:
URL: https://github.com/apache/tvm/pull/11714#issuecomment-1168363175

   Thanks @driazati 😸 


-- 
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] driazati commented on pull request #11714: [ci] Allow skip tag anywhere in PR title

Posted by GitBox <gi...@apache.org>.
driazati commented on PR #11714:
URL: https://github.com/apache/tvm/pull/11714#issuecomment-1156779078

   blocked on #11666


-- 
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] driazati commented on pull request #11714: [ci] Allow skip tag anywhere in PR title

Posted by GitBox <gi...@apache.org>.
driazati commented on PR #11714:
URL: https://github.com/apache/tvm/pull/11714#issuecomment-1165805186

   @Mousius this is ready again


-- 
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] github-actions[bot] commented on pull request #11714: [ci] Allow skip tag anywhere in PR title

Posted by GitBox <gi...@apache.org>.
github-actions[bot] commented on PR #11714:
URL: https://github.com/apache/tvm/pull/11714#issuecomment-1166156739

   Built docs for commit 16035b8eb54871db3ca7f0b03c5705ae487f566d can be found [here](https://pr-docs.tlcpack.ai/PR-11714/4/docs/index.html).


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