Skip to content

Commit b427de1

Browse files
committed
Deploy docs to github pages
1 parent 90bd40a commit b427de1

File tree

1 file changed

+23
-1
lines changed

1 file changed

+23
-1
lines changed

.github/workflows/docs.yml

Lines changed: 23 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,7 @@ name: Build Docs
33
on:
44
pull_request:
55
push:
6-
branches: [main]
6+
branches: [main, test]
77
tags:
88
- '*'
99

@@ -32,3 +32,25 @@ jobs:
3232
- name: Build Docs
3333
run: |
3434
make -C docs
35+
36+
- name: Upload Pages Artifact
37+
uses: actions/upload-pages-artifact@v3
38+
with:
39+
path: docs/_build/html
40+
41+
deploy:
42+
needs: build
43+
44+
permissions:
45+
pages: write
46+
id-token: write
47+
48+
environment:
49+
name: github-pages
50+
url: ${{ steps.deployment.outputs.page_url }}
51+
52+
runs-on: ubuntu-latest
53+
steps:
54+
- name: Deploy to GitHub Pages
55+
id: deployment
56+
uses: actions/deploy-pages@v4

0 commit comments

Comments
 (0)