File tree Expand file tree Collapse file tree 1 file changed +1
-5
lines changed
Expand file tree Collapse file tree 1 file changed +1
-5
lines changed Original file line number Diff line number Diff line change 11name : docs-publish
22
33on :
4- pull_request :
4+ push :
55 branches :
66 - master
7- types :
8- - closed
97 workflow_dispatch : # add this option in case of a failure and we need to re-run
108
119# Allow only one concurrent deployment, skipping runs queued between the run in-progress and latest queued.
@@ -17,7 +15,6 @@ concurrency:
1715jobs :
1816 build :
1917 # only run this if we have not generated docfx in last commit
20- if : github.event.pull_request.merged == true
2118 runs-on : windows-latest
2219 steps :
2320 - uses : actions/checkout@v2
5451 name : github-pages
5552 url : ${{ steps.deployment.outputs.page_url }}
5653 runs-on : ubuntu-latest
57- if : github.event.pull_request.merged == true
5854 steps :
5955 - name : Deploy to GitHub Pages
6056 id : deployment
You can’t perform that action at this time.
0 commit comments