Skip to content

ci: Removes dangling images on remote server#308

Merged
frgfm merged 1 commit intomainfrom
dangling
Nov 3, 2023
Merged

ci: Removes dangling images on remote server#308
frgfm merged 1 commit intomainfrom
dangling

Conversation

@frgfm
Copy link
Copy Markdown
Member

@frgfm frgfm commented Nov 3, 2023

This PR ensures docker images are cleaned upon deployment on remote server.

Any feedback is welcome!

@frgfm frgfm added type: fix Something isn't working topic: ci labels Nov 3, 2023
@frgfm frgfm added this to the 0.2.0 milestone Nov 3, 2023
@frgfm frgfm requested a review from a team November 3, 2023 14:39
@frgfm frgfm self-assigned this Nov 3, 2023
@github-actions github-actions bot removed the topic: ci label Nov 3, 2023
@frgfm frgfm merged commit 0ffbf38 into main Nov 3, 2023
@frgfm frgfm deleted the dangling branch November 3, 2023 14:41
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

type: fix Something isn't working

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant