Skip to content

ci: allow release workflow run by hand#144

Merged
eitsupi merged 2 commits intomainfrom
release-trigger
Mar 12, 2023
Merged

ci: allow release workflow run by hand#144
eitsupi merged 2 commits intomainfrom
release-trigger

Conversation

@eitsupi
Copy link
Copy Markdown
Member

@eitsupi eitsupi commented Mar 12, 2023

While PR-based releases are convenient, but manual triggering is also useful.

@eitsupi eitsupi added the pr-release Do a release on merge label Mar 12, 2023
Comment thread .github/workflows/release.yaml Outdated
@eitsupi eitsupi merged commit d756a07 into main Mar 12, 2023
@eitsupi eitsupi deleted the release-trigger branch March 12, 2023 08:06
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

pr-release Do a release on merge

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants