diff options
Diffstat (limited to '.github/workflows')
-rw-r--r-- | .github/workflows/rustdoc.yaml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/.github/workflows/rustdoc.yaml b/.github/workflows/rustdoc.yaml index 816605dda..2ec42da14 100644 --- a/.github/workflows/rustdoc.yaml +++ b/.github/workflows/rustdoc.yaml | |||
@@ -27,7 +27,8 @@ jobs: | |||
27 | run: cargo doc --all --no-deps | 27 | run: cargo doc --all --no-deps |
28 | 28 | ||
29 | - name: Deploy Docs | 29 | - name: Deploy Docs |
30 | uses: "peaceiris/actions-gh-pages@364c31d33bb99327c77b3a5438a83a357a6729ad" | 30 | uses: peaceiris/actions-gh-pages@364c31d33bb99327c77b3a5438a83a357a6729ad # v3.4.0 |
31 | with: | ||
31 | github_token: ${{ secrets.GITHUB_TOKEN }} | 32 | github_token: ${{ secrets.GITHUB_TOKEN }} |
32 | publish_branch: gh-pages | 33 | publish_branch: gh-pages |
33 | publish_dir: ./book | 34 | publish_dir: ./book |