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

Feature/fix docker cleanup #62

Merged
merged 5 commits into from
Jan 30, 2025
Merged

Feature/fix docker cleanup #62

merged 5 commits into from
Jan 30, 2025

Conversation

PierreJeanjacquot
Copy link
Member

Refactor docker cleanup workflow

  • remove docker image as soon as they are no longer needed (when finished or on error)
    • image to sconify (when sconified)
    • sconified image (when pushed and fingerprint extracted)
  • remove sonification container as soon sconification ends (successfully or with error)

@PierreJeanjacquot PierreJeanjacquot self-assigned this Jan 29, 2025
@PierreJeanjacquot PierreJeanjacquot force-pushed the feature/fix-docker-cleanup branch from 565ef70 to 70136ed Compare January 29, 2025 15:21
@PierreJeanjacquot PierreJeanjacquot merged commit 34e88bb into api-approved-changes Jan 30, 2025
@PierreJeanjacquot PierreJeanjacquot deleted the feature/fix-docker-cleanup branch January 30, 2025 09:29
@PierreJeanjacquot PierreJeanjacquot mentioned this pull request Jan 30, 2025
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@Le-Caignec Le-Caignec Le-Caignec approved these changes

Assignees

@PierreJeanjacquot PierreJeanjacquot

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@PierreJeanjacquot @Le-Caignec