Skip to content

Commit 591571e

Browse files
committed
Fix docs path for generating documentation (#41)
1 parent 11283b6 commit 591571e

1 file changed

Lines changed: 15 additions & 2 deletions

File tree

.github/workflows/docs.yaml

Lines changed: 15 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -2,6 +2,8 @@ name: Build and publish docs
22

33
permissions:
44
contents: write
5+
pages: write
6+
id-token: write
57

68
on:
79
workflow_run:
@@ -29,7 +31,7 @@ jobs:
2931
pip install -e .\[doc\]
3032
- name: Build docs
3133
run: |
32-
python doc/make.py
34+
python docs/make.py
3335
# Set up Rust for mdbook
3436
- name: Install cargo
3537
uses: actions-rs/toolchain@v1
@@ -65,4 +67,15 @@ jobs:
6567
- name: Upload artifact
6668
uses: actions/upload-pages-artifact@v3
6769
with:
68-
path: ./docs/book
70+
path: ./docs/book
71+
72+
deploy:
73+
environment:
74+
name: github-pages
75+
url: ${{ steps.deployment.outputs.page_url }}
76+
runs-on: ubuntu-latest
77+
needs: build-and-publish-docs
78+
steps:
79+
- name: Deploy to GitHub Pages
80+
id: deployment
81+
uses: actions/deploy-pages@v4

0 commit comments

Comments
 (0)