Skip to content

Commit e5118ce

Browse files
committed
ci: add workflow_dispatch to the verify workflow
A run that never gets a runner cannot be re-run without another commit. The manual trigger gives a run button.
1 parent 927a7aa commit e5118ce

1 file changed

Lines changed: 1 addition & 0 deletions

File tree

‎.github/workflows/verify.yml‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -4,6 +4,7 @@ on:
44
push:
55
branches: [main]
66
pull_request:
7+
workflow_dispatch:
78

89
jobs:
910
linux:

0 commit comments

Comments
 (0)