Skip to content

Conversation

@Hasenpfote
Copy link
Owner

No description provided.

@github-actions
Copy link

Hi, @Hasenpfote 👋
Thanks for your PR!

@github-actions github-actions bot added the needs triage Issues/PRs that need to be triaged label Jan 13, 2023
@Hasenpfote Hasenpfote added type: enhancement Improvements to functionality and removed needs triage Issues/PRs that need to be triaged labels Jan 13, 2023
@Hasenpfote Hasenpfote merged commit 3aa3cc7 into main Jan 13, 2023
@github-actions
Copy link

@Hasenpfote, your PR has been merged into the main repository.
Many thanks for your valuable contribution!

@Hasenpfote Hasenpfote deleted the improve-gha-workflows branch January 13, 2023 10:40
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

type: enhancement Improvements to functionality

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants