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/29 22:26:33 UTC

[GitHub] [tvm] driazati opened a new pull request, #12640: [ci][wip] Break up lint step

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

   This part of CI fails most often and dependably, plus we need several
   machines for the following build steps anyways so there's no harm in
   parallelizing the lint more to decrease runtime


-- 
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 closed pull request #12640: [ci][wip] Break up lint step

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

driazati closed pull request #12640: [ci][wip] Break up lint step
URL: https://github.com/apache/tvm/pull/12640


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