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.

Sign up for GitHub

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

Jump to bottom

Ways to speed up Docker image builds #12803

Closed
1 task
driazati opened this issue Sep 15, 2022 · 0 comments
Closed
1 task

Ways to speed up Docker image builds #12803

driazati opened this issue Sep 15, 2022 · 0 comments
Labels
dev:ci type:ci Relates to TVM CI infrastructure

Comments

@driazati
Copy link
Member

These currently take in the neighborhood of 30-40 minutes, we could reduce this time by
@driazati driazati added the type:ci Relates to TVM CI infrastructure label Sep 15, 2022
@driazati driazati changed the title Ways to speed up Docker builds Ways to speed up Docker image builds Sep 15, 2022
@areusch areusch added the needs-triage PRs or issues that need to be investigated by maintainers to find the right assignees to address it label Oct 19, 2022
@janetsc janetsc added dev:ci and removed needs-triage PRs or issues that need to be investigated by maintainers to find the right assignees to address it labels Oct 19, 2022
@tqchen tqchen closed this as completed Sep 20, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
dev:ci type:ci Relates to TVM CI infrastructure
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
4 participants
@areusch @tqchen @driazati @janetsc