-
Notifications
You must be signed in to change notification settings - Fork 3.8k
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] remove Docker volumes during Azure cleanup #6760
Conversation
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I agree with you, the way we use this box, those volumes can all be safely removed. And that will free up a bit of disk space!
Thanks for thinking of this.
Thanks for that! For the record, I think it could be ok for almost all memory on the runner to be occupied. As long as jobs are not failing for out-of-memory issues, fully utilizing the resources of these runners that only exist for this project and only run one workload at a time is not a problem. Notice that they're all @shiyu1994 could Microsoft help us with an |
I can try to allocate a new agent with |
Thank you so much! |
Now we can simply use free ones. But they are for GitHub Actions, not for Azure, unfortunately. |
Hey great!!! Thanks for the link... put up #6788 to discuss this topic more. |
I believe we don't need preserving anonymous volumes during cleanup.
Refer to https://depot.dev/blog/docker-clear-cache#removing-everything-with-docker-system-prune and https://docs.docker.com/reference/cli/docker/system/prune/.