Skip to content

feat(docker): clean up after install - #89

Merged
josecm merged 1 commit into
mainfrom
feat/cleanup_after_make
Nov 26, 2025
Merged

feat(docker): clean up after install#89
josecm merged 1 commit into
mainfrom
feat/cleanup_after_make

Conversation

@DavidMCerdeira

Copy link
Copy Markdown
Member

Run make clean after installing tools in Docker image

Run make clean after installing tools in Docker image

Signed-off-by: David Cerdeira <davidmcerdeira@gmail.com>
@josecm josecm self-assigned this Nov 26, 2025
@josecm
josecm merged commit 7666a19 into main Nov 26, 2025
4 checks passed
@josecm
josecm deleted the feat/cleanup_after_make branch November 26, 2025 15:34
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants