File tree 1 file changed +3
-2
lines changed
1 file changed +3
-2
lines changed Original file line number Diff line number Diff line change 1
1
on :
2
+ workflow_dispatch :
2
3
push :
3
4
pull_request :
4
5
branches :
@@ -141,7 +142,7 @@ jobs:
141
142
with :
142
143
path : python-wrapper/docs/_build/html
143
144
deploy_pages :
144
- if : github.event_name == 'push' && startsWith(github.ref, 'refs/tags')
145
+ if : ( github.event_name == 'push' && startsWith(github.ref, 'refs/tags')) || github.event_name == 'workflow_dispatch'
145
146
runs-on : " ubuntu-22.04"
146
147
needs : build_pages
147
148
permissions :
@@ -237,4 +238,4 @@ jobs:
237
238
GITHUB_TOKEN : ${{ secrets.GITHUB_TOKEN }}
238
239
# upload sigstore-produced signatures and certificates from dist
239
240
run : |
240
- gh release upload '${{ github.ref_name }}' dist/*.sigstore.json --repo '${{ github.repository }}'
241
+ gh release upload '${{ github.ref_name }}' dist/*.sigstore.json --repo '${{ github.repository }}'
You can’t perform that action at this time.
0 commit comments