Skip to content

Conversation

@itzg
Copy link
Owner

@itzg itzg commented May 30, 2022

For #1535

@itzg itzg added the ci/push-image Triggers CI to push an image for this PR label May 30, 2022
@itzg itzg merged commit 8d0bdb6 into master May 30, 2022
@itzg itzg deleted the fix/1535 branch May 30, 2022 13:41
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

ci/push-image Triggers CI to push an image for this PR

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants