mirror of
https://github.com/puma/puma.git
synced 2022-11-09 13:48:40 -05:00
Actions - add workflow_dispatch
Allows user activated (web ui) running of workflows. Helpful for intermittent issues in forks. One can select the branch it runs on. Note sure if it affects badges.
This commit is contained in:
parent
ea81fba045
commit
441c474ec3
2 changed files with 3 additions and 2 deletions
2
.github/workflows/mri.yml
vendored
2
.github/workflows/mri.yml
vendored
|
@ -1,6 +1,6 @@
|
|||
name: MRI
|
||||
|
||||
on: [push, pull_request]
|
||||
on: [push, pull_request, workflow_dispatch]
|
||||
|
||||
jobs:
|
||||
build:
|
||||
|
|
3
.github/workflows/non_mri.yml
vendored
3
.github/workflows/non_mri.yml
vendored
|
@ -1,5 +1,6 @@
|
|||
name: non_MRI
|
||||
on: [push, pull_request]
|
||||
|
||||
on: [push, pull_request, workflow_dispatch]
|
||||
|
||||
jobs:
|
||||
build:
|
||||
|
|
Loading…
Add table
Reference in a new issue