Skip to content

.github/workflows: add workflow_dispatch trigger - #94

Merged
crasbe merged 1 commit into
RIOT-OS:masterfrom
crasbe:pr/add_workflow_dispatch_trigger
Aug 3, 2026
Merged

.github/workflows: add workflow_dispatch trigger#94
crasbe merged 1 commit into
RIOT-OS:masterfrom
crasbe:pr/add_workflow_dispatch_trigger

Conversation

@crasbe

@crasbe crasbe commented Aug 3, 2026

Copy link
Copy Markdown
Contributor

Currently the workflow can not be triggered manually, with the workflow_dispatch event trigger this should be possible.

See:
https://docs.github.com/en/actions/reference/workflows-and-actions/events-that-trigger-workflows#workflow_dispatch
https://docs.github.com/en/actions/how-tos/manage-workflow-runs/manually-run-a-workflow

We want this because apparently GitHub now deactivates workflows after 60 days and there is no way to manually run them if they haven't been triggered automagically. Even after re-enabling them, there is no option for that and they don't start automagically.

@crasbe
crasbe requested a review from AnnsAnns August 3, 2026 10:07
@AnnsAnns

AnnsAnns commented Aug 3, 2026

Copy link
Copy Markdown
Member

needs rebase 😛

@crasbe
crasbe force-pushed the pr/add_workflow_dispatch_trigger branch from 66e022e to 3563333 Compare August 3, 2026 10:17
@crasbe
crasbe merged commit bcab617 into RIOT-OS:master Aug 3, 2026
3 checks passed
@crasbe
crasbe deleted the pr/add_workflow_dispatch_trigger branch August 3, 2026 10:21
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants