Skip to content

Use published docker image for build#115

Merged
jakubno merged 1 commit intomainfrom
reuse-docker-image
Jul 18, 2025
Merged

Use published docker image for build#115
jakubno merged 1 commit intomainfrom
reuse-docker-image

Conversation

@jakubno
Copy link
Copy Markdown
Member

@jakubno jakubno commented Jul 18, 2025

Description

Reuse published the docker image

@jakubno jakubno self-assigned this Jul 18, 2025
@jakubno jakubno added the enhancement New feature or request label Jul 18, 2025
@jakubno jakubno merged commit 5b561dc into main Jul 18, 2025
2 checks passed
@jakubno jakubno deleted the reuse-docker-image branch July 18, 2025 10:40
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants