File tree Expand file tree Collapse file tree 1 file changed +20
-5
lines changed
Expand file tree Collapse file tree 1 file changed +20
-5
lines changed Original file line number Diff line number Diff line change 66 workflow_dispatch :
77
88permissions :
9- contents : write
9+ contents : read
10+ pages : write
11+ id-token : write
12+
13+ # Allow only one concurrent deployment, skipping runs queued between the run in-progress and latest queued.
14+ # However, do NOT cancel in-progress runs as we want to allow these production deployments to complete.
15+ concurrency :
16+ group : " pages"
17+ cancel-in-progress : false
18+
1019
1120jobs :
1221 docs :
4352 cd doc
4453 make html
4554
55+ # Deployment job
56+ deploy :
57+ environment :
58+ name : github-pages
59+ url : ${{ steps.deployment.outputs.page_url }}
60+ runs-on : ubuntu-latest
61+ needs : build
62+ steps :
4663 - name : Deploy to GitHub Pages
47- uses : peaceiris/actions-gh-pages@v4
48- with :
49- github_token : ${{ secrets.GITHUB_TOKEN }}
50- publish_dir : doc/html
64+ id : deployment
65+ uses : actions/deploy-pages@v4
5166
You can’t perform that action at this time.
0 commit comments