Skip to content

Conversation

@dennisvang
Copy link
Collaborator

Only log in to docker hub if actually necessary, i.e. when we're going to push.

fixes #18

@dennisvang dennisvang merged commit 92d33c1 into main Apr 15, 2025
2 checks passed
@dennisvang dennisvang deleted the issue18 branch April 15, 2025 15:44
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.

skip docker hub login if push is false

2 participants