File tree Expand file tree Collapse file tree 3 files changed +29
-42
lines changed
Expand file tree Collapse file tree 3 files changed +29
-42
lines changed Original file line number Diff line number Diff line change 33 push :
44 branches : [ "main" ]
55
6+ permissions :
7+ contents : read
8+ pages : write
9+ id-token : write
10+
611jobs :
712 build :
813 runs-on : ubuntu-latest
914 steps :
10- - uses : actions/checkout@v4
11- - name : Set up Python 3.11
12- uses : actions/setup-python@v3
13- with :
14- python-version : " 3.11"
15- - name : Install dependencies
16- run : |
17- python -m pip install --upgrade pip
18- pip install -r requirements-dev.txt
19- - name : Build Site
20- run : mkdocs build
21- - name : Deploy
22- uses : JamesIves/github-pages-deploy-action@v4
23- with :
24- folder : site
15+ - name : Checkout
16+ uses : actions/checkout@v4
17+ with :
18+ fetch-depth : 0
19+ persist-credentials : true
20+
21+ - name : Install uv
22+ uses : astral-sh/setup-uv@v5
23+ with :
24+ version : " latest"
25+
26+ - name : Sync dependencies (uv)
27+ run : uv sync
28+
29+ - name : Build Site
30+ run : uv run mkdocs build --clean
31+
32+ - name : Deploy to gh-pages
33+ uses : JamesIves/github-pages-deploy-action@v4
34+ with :
35+ folder : site
36+ branch : gh-pages
37+ token : ${{ secrets.GITHUB_TOKEN }}
Load Diff This file was deleted.
You can’t perform that action at this time.
0 commit comments