File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 1+ name : deploy
2+
3+ on :
4+ workflow_dispatch :
5+ push :
6+ branches : [main]
7+
8+ permissions :
9+ contents : read
10+ pages : write
11+ id-token : write
12+
13+ concurrency :
14+ group : " pages"
15+ cancel-in-progress : false
16+
17+ jobs :
18+ deploy :
19+ environment :
20+ name : github-pages
21+ url : ${{ steps.deployment.outputs.page_url }}
22+ runs-on : ubuntu-latest
23+ steps :
24+ - name : Checkout
25+ uses : actions/checkout@v4
26+
27+ - name : Setup pgit
28+ run : |
29+ curl -LO https://github.com/FBIKdot/pgit/releases/download/1.2.0-rc1/pgit
30+
31+ - name : Generate documentation
32+ run : |
33+ ./pgit --revs main --label Hacknet-Extension-Tutorial --out ./public
34+
35+ - name : Upload artifact
36+ uses : actions/upload-pages-artifact@v3.0.1
37+ with :
38+ path : " ./public"
39+
40+ - name : Deploy to GitHub Pages
41+ id : deployment
42+ uses : actions/deploy-pages@v4
Original file line number Diff line number Diff line change 1+ public /
You can’t perform that action at this time.
0 commit comments