File tree Expand file tree Collapse file tree 2 files changed +40
-64
lines changed
Expand file tree Collapse file tree 2 files changed +40
-64
lines changed Original file line number Diff line number Diff line change 1- name : Deploy Book
1+ name : Latest Deploy Book
22on :
3- workflow_dispatch : # Enables manual triggering from GitHub UI only
3+ workflow_dispatch :
44jobs :
5- build-and-deploy :
6- runs-on : ubuntu-latest
7- permissions :
8- contents : write # Explicitly grant write permissions
9- steps :
10- - uses : actions/checkout@v6
11- - uses : cachix/install-nix-action@v22
12- - uses : cachix/cachix-action@v12
13- with :
14- name : dapp
5+ build :
6+ name : Build Book
7+ runs-on : ubuntu-latest
8+ steps :
9+ - name : Checkout repository
10+ uses : actions/checkout@v6
11+
12+ - name : Install Nix
13+ uses : cachix/install-nix-action@v31
14+
15+ - name : Use Cachix
16+ uses : cachix/cachix-action@v16
17+ with :
18+ name : dapp
19+
20+ - name : Build documentation
21+ id : build
22+ run : nix develop --ignore-environment --command make docs
1523
16- - name : build docs
17- run : nix develop --ignore-environment --command make docs
24+ - name : Upload artifact
25+ id : deployment
26+ uses : actions/upload-pages-artifact@v4
27+ with :
28+ path : doc/book
29+ deploy :
30+ name : Deploy Book to GitHub Pages
31+ needs : build
32+ permissions :
33+ pages : write
34+ id-token : write
1835
19- - name : publish docs
20- uses : JamesIves/github-pages-deploy-action@4.1.4
21- with :
22- token : ${{ secrets.GITHUB_TOKEN }}
23- branch : gh-pages
24- folder : doc/book
36+ environment :
37+ name : github-pages
38+ url : ${{ steps.deployment.outputs.page_url }}
39+
40+ runs-on : ubuntu-latest
41+ steps :
42+ - name : Deploy to GitHub Pages
43+ id : deployment
44+ uses : actions/deploy-pages@v4
Load Diff This file was deleted.
You can’t perform that action at this time.
0 commit comments