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

fix: prune docker images #3023

Merged
merged 1 commit into from
Oct 8, 2024
Merged

Conversation

stuartwdouglas
Copy link
Collaborator

No description provided.

@stuartwdouglas stuartwdouglas requested review from a team and wesbillman and removed request for a team October 7, 2024 22:28
@stuartwdouglas stuartwdouglas added the run-all A PR with this label will run the full set of CI jobs in the PR rather than in the merge queue label Oct 7, 2024
@stuartwdouglas stuartwdouglas force-pushed the stuartwdouglas/prune-docker-images branch from 39aae66 to bb64593 Compare October 7, 2024 22:28
This was referenced Oct 7, 2024
@alecthomas
Copy link
Collaborator

I can't quite tell if this will prune PG or not?

@stuartwdouglas stuartwdouglas force-pushed the stuartwdouglas/prune-docker-images branch from a90ace6 to cfdf013 Compare October 7, 2024 22:47
@stuartwdouglas
Copy link
Collaborator Author

I can't quite tell if this will prune PG or not?

I think PG should still be running, so it should not be removed.

@stuartwdouglas stuartwdouglas force-pushed the stuartwdouglas/prune-docker-images branch from 95ddea6 to ccf60b4 Compare October 7, 2024 23:56
@stuartwdouglas stuartwdouglas merged commit 986a2d8 into main Oct 8, 2024
95 checks passed
@stuartwdouglas stuartwdouglas deleted the stuartwdouglas/prune-docker-images branch October 8, 2024 00:12
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
run-all A PR with this label will run the full set of CI jobs in the PR rather than in the merge queue
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants