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/01/08 05:20:11 UTC
[GitHub] [tvm] mshr-h opened a new pull request #9877: Change rust installation profile from default to minimal
mshr-h opened a new pull request #9877:
URL: https://github.com/apache/tvm/pull/9877
Purpose of this change is to remove rust docs which we don't need for CI.
`/opt/rust` will be reduced from 1.0GB->551MB.
[Profiles - The rustup book](https://rust-lang.github.io/rustup/concepts/profiles.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
[GitHub] [tvm] mshr-h closed pull request #9877: Change rust installation profile from default to minimal
Posted by GitBox <gi...@apache.org>.
mshr-h closed pull request #9877:
URL: https://github.com/apache/tvm/pull/9877
--
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] mshr-h closed pull request #9877: Change rust installation profile from default to minimal
Posted by GitBox <gi...@apache.org>.
mshr-h closed pull request #9877:
URL: https://github.com/apache/tvm/pull/9877
--
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