ci: support workflow_dispatch trigger
This commit is contained in:
parent
7ce4be09a1
commit
729347fc89
2
.github/workflows/man.yaml
vendored
2
.github/workflows/man.yaml
vendored
|
@ -3,6 +3,7 @@ name: man jpbernius
|
|||
on:
|
||||
push:
|
||||
branches: [ "man" ]
|
||||
workflow_dispatch:
|
||||
|
||||
jobs:
|
||||
html:
|
||||
|
@ -54,6 +55,7 @@ jobs:
|
|||
|
||||
mirror:
|
||||
runs-on: ubuntu-latest
|
||||
if: github.event_name == 'push'
|
||||
|
||||
strategy:
|
||||
matrix:
|
||||
|
|
Loading…
Reference in a new issue