fix(docker): prune instead of omit #216

Merged
Anri merged 2 commits from docker into main 2025-01-02 23:03:42 +01:00
Owner
No description provided.
Anri added 2 commits 2025-01-02 23:03:07 +01:00
This reverts commit e2eb55a8f1.
use remove dev pkg instead of omitting them
All checks were successful
PR Check / lint-and-format (pull_request) Successful in 32s
e39c88a324
Anri scheduled this pull request to auto merge when all checks succeed 2025-01-02 23:03:10 +01:00
Anri merged commit fdabd1d95f into main 2025-01-02 23:03:42 +01:00
Anri deleted branch docker 2025-01-02 23:03:52 +01:00
Sign in to join this conversation.
No reviewers
No milestone
No project
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference: ConfrerieDuKassoulait/Botanique#216
No description provided.