quic-sanirudh opened a new pull request, #11184: URL: https://github.com/apache/tvm/pull/11184
This patch fixes an error while using the docker/bash.sh script to invoke docker. If the same CI_BUILD_GROUP is present within docker container but with a different GID, we try and fail to add the existing group This patch tries to fix this error -- 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-unsubscr...@tvm.apache.org For queries about this service, please contact Infrastructure at: us...@infra.apache.org