areusch commented on pull request #10257: URL: https://github.com/apache/tvm/pull/10257#issuecomment-1063495481
i think maybe we should change task_ci_setup.sh to not install those packages if they already exist. i can't remember exactly what happened here, but there was a CI problem before where a disagreement between the pinned version of the package in task_ci_setup.sh and the pinned version in the docker/install scripts caused CI to fail. i think maybe this was due to not specifying -U in pip install? anyway, it would be great to ensure that either we use task_ci_setup.sh or we use new 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. To unsubscribe, e-mail: [email protected] For queries about this service, please contact Infrastructure at: [email protected]
