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 2020/03/24 01:01:21 UTC
[GitHub] [incubator-tvm] jroesch opened a new pull request #5138: [Rust][CI]
Change Rust version to stable in Docker
jroesch opened a new pull request #5138: [Rust][CI] Change Rust version to stable in Docker
URL: https://github.com/apache/incubator-tvm/pull/5138
My recent changes to the Rust packages convert them to work on stable Rust. This PR updates the Docker image.
----------------------------------------------------------------
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.
For queries about this service, please contact Infrastructure at:
users@infra.apache.org
With regards,
Apache Git Services
[GitHub] [incubator-tvm] tqchen merged pull request #5138: [Rust][CI] Change
Rust version to stable in Docker
Posted by GitBox <gi...@apache.org>.
tqchen merged pull request #5138: [Rust][CI] Change Rust version to stable in Docker
URL: https://github.com/apache/incubator-tvm/pull/5138
----------------------------------------------------------------
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.
For queries about this service, please contact Infrastructure at:
users@infra.apache.org
With regards,
Apache Git Services
[GitHub] [incubator-tvm] jroesch commented on issue #5138: [Rust][CI] Change
Rust version to stable in Docker
Posted by GitBox <gi...@apache.org>.
jroesch commented on issue #5138: [Rust][CI] Change Rust version to stable in Docker
URL: https://github.com/apache/incubator-tvm/pull/5138#issuecomment-602941932
cc @tqchen this requires a rebuild of the docker image afaict.
----------------------------------------------------------------
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.
For queries about this service, please contact Infrastructure at:
users@infra.apache.org
With regards,
Apache Git Services