Commit 19f4dea
committed
ci: deploy docs via official GitHub Pages actions
Replace the hand-rolled 'git init + force push to gh-pages' approach
with the officially supported actions/configure-pages,
actions/upload-pages-artifact and actions/deploy-pages. This relies on
OIDC for authentication (no GITHUB_TOKEN write scope on contents
needed) and removes the force-pushed branch.
Also:
- Enable uv cache (enable-cache: true) for a faster build job.
- Add a 'pages' concurrency group with cancel-in-progress: false so
Pages deployments are serialised but never interrupted.
- Add timeout-minutes safety nets to each job.
- Drop the now-unused GITHUB_PAGES_BRANCH env var.
NOTE: This requires the repository's Pages source to be set to
'GitHub Actions' (Settings -> Pages -> Build and deployment -> Source).1 parent a10e4d6 commit 19f4dea
1 file changed
Lines changed: 31 additions & 17 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
4 | 4 | | |
5 | 5 | | |
6 | 6 | | |
7 | | - | |
8 | | - | |
| 7 | + | |
| 8 | + | |
| 9 | + | |
| 10 | + | |
| 11 | + | |
9 | 12 | | |
10 | 13 | | |
11 | | - | |
| 14 | + | |
| 15 | + | |
12 | 16 | | |
13 | | - | |
| 17 | + | |
14 | 18 | | |
15 | 19 | | |
16 | 20 | | |
17 | 21 | | |
18 | 22 | | |
19 | 23 | | |
| 24 | + | |
| 25 | + | |
20 | 26 | | |
21 | 27 | | |
| 28 | + | |
22 | 29 | | |
23 | | - | |
24 | 30 | | |
25 | 31 | | |
26 | 32 | | |
27 | | - | |
28 | | - | |
29 | | - | |
30 | | - | |
31 | | - | |
32 | | - | |
33 | | - | |
34 | | - | |
35 | | - | |
36 | | - | |
37 | | - | |
38 | | - | |
| 33 | + | |
| 34 | + | |
| 35 | + | |
| 36 | + | |
| 37 | + | |
| 38 | + | |
| 39 | + | |
| 40 | + | |
| 41 | + | |
| 42 | + | |
| 43 | + | |
| 44 | + | |
| 45 | + | |
| 46 | + | |
| 47 | + | |
| 48 | + | |
| 49 | + | |
| 50 | + | |
| 51 | + | |
| 52 | + | |
0 commit comments