Skip to content

Several GitHub workflow related fixes#22

Merged
TrueBrain merged 4 commits intomasterfrom
github-cleanup
Jul 2, 2021
Merged

Several GitHub workflow related fixes#22
TrueBrain merged 4 commits intomasterfrom
github-cleanup

Conversation

@TrueBrain
Copy link
Copy Markdown
Owner

No description provided.

@TrueBrain TrueBrain added the changelog: hide This Pull Request should not be mentioned in the changelog label Jul 2, 2021
@TrueBrain TrueBrain merged commit 9229218 into master Jul 2, 2021
@TrueBrain TrueBrain deleted the github-cleanup branch July 2, 2021 11:57
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

changelog: hide This Pull Request should not be mentioned in the changelog

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant