Skip to content

ci: allow manual re-run of ui publish workflow - #2

Merged
mheyen merged 1 commit into
mainfrom
ci/publish-workflow-dispatch
Aug 4, 2026
Merged

ci: allow manual re-run of ui publish workflow#2
mheyen merged 1 commit into
mainfrom
ci/publish-workflow-dispatch

Conversation

@mheyen

@mheyen mheyen commented Aug 4, 2026

Copy link
Copy Markdown
Contributor

Adds workflow_dispatch so a GitHub Release asset can be backfilled for tags cut before the GitHub migration (ui/v0.1.0..v0.3.0 all predate publish.yml and have no Release asset yet). Run manually from the Actions tab, picking the target tag under "Use workflow from".

Adds workflow_dispatch so a GitHub Release asset can be backfilled for
tags cut before the GitHub migration (ui/v0.1.0..v0.3.0 all predate
publish.yml and have no Release asset yet). Run manually from the
Actions tab, picking the target tag under "Use workflow from".
@mheyen
mheyen requested a review from rrolf August 4, 2026 14:56
@mheyen mheyen self-assigned this Aug 4, 2026
@mheyen
mheyen merged commit 28b130f into main Aug 4, 2026
5 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant