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 19, 2023
@Hasenpfote Hasenpfote added type: maintenance Related to Development and Maintenance Processes and removed needs triage Issues/PRs that need to be triaged labels Jan 19, 2023
@Hasenpfote Hasenpfote merged commit 129a677 into main Jan 19, 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 19, 2023 13:32
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

type: maintenance Related to Development and Maintenance Processes

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants