Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[ci][docker] Nightly Docker image update #11857

Merged
merged 1 commit into from
Jun 30, 2022
Merged

Conversation

github-actions[bot]
Copy link
Contributor

This bumps the Docker images to the latest versions from Docker Hub.

@github-actions github-actions bot force-pushed the nightly-docker-update branch from 3fb70ce to 6316040 Compare June 24, 2022 00:00
@github-actions github-actions bot force-pushed the nightly-docker-update branch 7 times, most recently from d190d16 to b857195 Compare June 30, 2022 00:00
This bumps the Docker images to the latest versions from Docker Hub.
@github-actions github-actions bot force-pushed the nightly-docker-update branch from b857195 to b982416 Compare June 30, 2022 17:15
@areusch areusch merged commit 2625878 into main Jun 30, 2022
blackkker pushed a commit to blackkker/tvm that referenced this pull request Jul 7, 2022
This bumps the Docker images to the latest versions from Docker Hub.

Co-authored-by: tvm-bot <[email protected]>
masahi pushed a commit to masahi/tvm that referenced this pull request Jul 15, 2022
This bumps the Docker images to the latest versions from Docker Hub.

Co-authored-by: tvm-bot <[email protected]>
mikeseven pushed a commit to mikeseven/tvm that referenced this pull request Sep 27, 2023
This bumps the Docker images to the latest versions from Docker Hub.

Co-authored-by: tvm-bot <[email protected]>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants