File tree Expand file tree Collapse file tree 1 file changed +0
-28
lines changed
Expand file tree Collapse file tree 1 file changed +0
-28
lines changed Original file line number Diff line number Diff line change 1313 - ' */index.html'
1414 - ' */**'
1515
16- # Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages
17- permissions :
18- contents : read
19- pages : write
20- id-token : write
21-
22- # Allow only one concurrent deployment, skipping runs queued between the run in-progress and latest queued.
23- # However, do NOT cancel in-progress runs as we want to allow these production deployments to complete.
24- concurrency :
25- group : " pages"
26- cancel-in-progress : false
27-
2816jobs :
2917 build-and-deploy :
30- environment :
31- name : github-pages
32- url : ${{ steps.deployment.outputs.page_url }}
33- # Only run if:
34- # 1. It's a PR and not a PR close action
35- # 2. OR it's from workflow_run (main branch) and the test workflow succeeded
3618 if : |
3719 (github.event_name == 'pull_request' && github.event.action != 'closed') ||
3820 (github.event_name == 'workflow_run' && github.event.workflow_run.conclusion == 'success')
3921 runs-on : ubuntu-latest
4022 permissions :
4123 contents : write
4224 pull-requests : write
43- pages : write
44- id-token : write
4525
4626 steps :
4727 - uses : actions/checkout@v3
4828 with :
49- # For workflow_run events, we need to explicitly checkout the PR head
5029 ref : ${{ github.event.workflow_run.head_sha }}
5130
5231 - name : Set up Node.js
7453 tree _site -L 3
7554 fi
7655
77- # Setup Pages
78- - name : Setup Pages
79- uses : actions/configure-pages@v3
80-
8156 - name : Deploy to GitHub Pages
8257 uses : peaceiris/actions-gh-pages@v3
8358 with :
8661 destination_dir : ${{ github.event_name == 'pull_request' && format('pr-{0}', github.event.pull_request.number) || 'main' }}
8762 keep_files : true
8863 enable_jekyll : false
89- # Force push to ensure the deployment
90- force_orphan : true
9164
9265 - name : Create and deploy root index.html
9366 if : github.event_name != 'pull_request'
@@ -135,7 +108,6 @@ jobs:
135108 destination_dir : .
136109 keep_files : true
137110 enable_jekyll : false
138- force_orphan : false
139111
140112 - name : Comment PR
141113 if : github.event_name == 'pull_request'
You can’t perform that action at this time.
0 commit comments