Skip to content

Release from Github#183

Merged
janisz merged 1 commit intomasterfrom
release_from_github
Sep 16, 2022
Merged

Release from Github#183
janisz merged 1 commit intomasterfrom
release_from_github

Conversation

@janisz
Copy link
Copy Markdown
Contributor

@janisz janisz commented Sep 15, 2022

Allow simple releases by using github actions.

@janisz janisz requested a review from dhaus67 September 15, 2022 19:44
@janisz janisz merged commit 53b2eda into master Sep 16, 2022
@janisz janisz deleted the release_from_github branch September 16, 2022 09:36
@janisz janisz added the chore label Sep 16, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants