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/03/02 10:17:28 UTC
[GitHub] [tvm] lhutton1 opened a new pull request #10445: [CI][Fix] Fixing lint
lhutton1 opened a new pull request #10445:
URL: https://github.com/apache/tvm/pull/10445
A linting issue was introduced in #10423, fixing this up.
--
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] leandron merged pull request #10445: [CI][Fix] Fixing lint
Posted by GitBox <gi...@apache.org>.
leandron merged pull request #10445:
URL: https://github.com/apache/tvm/pull/10445
--
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] leandron commented on pull request #10445: [CI][Fix] Fixing lint
Posted by GitBox <gi...@apache.org>.
leandron commented on pull request #10445:
URL: https://github.com/apache/tvm/pull/10445#issuecomment-1056876859
> Hit a flaky test mentioned in #10314, since this PR only fixes linting, I'll re-trigger with the "skip-ci" functionality.
I reviewed the changes (given the `[skip ci]` usage) LGTM.
--
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] leandron commented on pull request #10445: [CI][Fix] Fixing lint
Posted by GitBox <gi...@apache.org>.
leandron commented on pull request #10445:
URL: https://github.com/apache/tvm/pull/10445#issuecomment-1057091241
This is now merged, thanks @lhutton1 !
--
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 commented on pull request #10445: [CI][Fix] Fixing lint
Posted by GitBox <gi...@apache.org>.
lhutton1 commented on pull request #10445:
URL: https://github.com/apache/tvm/pull/10445#issuecomment-1056873506
Hit a flaky test mentioned in #10314, since this PR only fixes linting, I'll re-trigger with the "skip-ci" functionality.
--
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