Skip to content

chore: Upgrade actions#80

Merged
hanjano merged 1 commit intomasterfrom
chore/upgrade_actions
Nov 14, 2022
Merged

chore: Upgrade actions#80
hanjano merged 1 commit intomasterfrom
chore/upgrade_actions

Conversation

@hanjano
Copy link
Copy Markdown
Contributor

@hanjano hanjano commented Nov 14, 2022

No description provided.

@hanjano hanjano self-assigned this Nov 14, 2022
@hanjano hanjano merged commit d62d7db into master Nov 14, 2022
@hanjano hanjano deleted the chore/upgrade_actions branch November 14, 2022 09:23
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