Skip to content

Conversation

@mlarraz
Copy link
Member

@mlarraz mlarraz commented Nov 17, 2022

Use correct action

Use correct action
@mlarraz mlarraz merged commit 57e3e29 into main Jan 3, 2023
@mlarraz mlarraz deleted the mlarraz-patch-1 branch January 3, 2023 19:03
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