@@ -11,36 +11,47 @@ concurrency:
1111 cancel-in-progress : true
1212
1313permissions :
14- contents : write
14+ contents : read
15+ pages : write
16+ id-token : write
1517
1618jobs :
17- deploy -docs :
19+ build -docs :
1820 runs-on : ubuntu-latest
1921 steps :
20- - name : Checkout Repository
22+ - name : Checkout repository
2123 uses : actions/checkout@v4
2224 with :
2325 submodules : recursive
2426
27+ - name : Set up GitHub Pages
28+ uses : actions/configure-pages@v5
29+
2530 - name : Set up Rust
2631 uses : actions-rust-lang/setup-rust-toolchain@v1
2732
28- - name : Install Dependencies
33+ - name : Install dependencies
2934 run : |
3035 sudo apt-get update && sudo apt-get upgrade -y
3136 sudo apt-get install -y gcc curl pkg-config libssl-dev make
3237
33- - name : Generate Documentation
38+ - name : Generate documentation
3439 run : |
3540 pip install uv && uv sync --extra dev
3641 source .venv/bin/activate && make docs
3742
38- - name : Deploy to GitHub Pages
39- uses : peaceiris/ actions-gh- pages@v4
43+ - name : Upload documentation artifact
44+ uses : actions/upload- pages-artifact@v3
4045 with :
41- github_token : ${{ secrets.GITHUB_TOKEN }}
42- publish_dir : ./site
43- publish_branch : gh-pages
44- user_name : ${{ github.actor }}
45- user_email : ${{ github.actor }}@users.noreply.github.com
46- commit_message : " docs: Deploy documentation from ${{ github.sha }} by ${{ github.actor }}"
46+ path : ./site
47+
48+ deploy-docs :
49+ needs : build-docs
50+ runs-on : ubuntu-latest
51+ environment :
52+ name : github-pages
53+ url : ${{ steps.deployment.outputs.page_url }}
54+ steps :
55+ - name : Deploy documentation
56+ id : deployment
57+ uses : actions/deploy-pages@v4
0 commit comments