Unnamed repository; edit this file 'description' to name the repository.
Diffstat (limited to '.github/workflows/gh-pages.yml')
-rw-r--r--.github/workflows/gh-pages.yml14
1 files changed, 7 insertions, 7 deletions
diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml
index 8f086fd6..ae2e5835 100644
--- a/.github/workflows/gh-pages.yml
+++ b/.github/workflows/gh-pages.yml
@@ -1,4 +1,4 @@
-name: GitHub Pages
+name: Github Pages
on:
push:
@@ -11,13 +11,13 @@ jobs:
deploy:
runs-on: ubuntu-latest
steps:
- - uses: actions/checkout@v5
+ - uses: actions/checkout@v4
- name: Setup mdBook
- uses: peaceiris/actions-mdbook@v2
+ uses: peaceiris/actions-mdbook@v1
with:
- # mdbook-version: 'latest'
- mdbook-version: '0.4.43'
+ mdbook-version: 'latest'
+ # mdbook-version: '0.4.8'
- run: mdbook build book
@@ -27,14 +27,14 @@ jobs:
echo "OUTDIR=$OUTDIR" >> $GITHUB_ENV
- name: Deploy stable
- uses: peaceiris/actions-gh-pages@v4
+ uses: peaceiris/actions-gh-pages@v3
if: startswith(github.ref, 'refs/tags/')
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: ./book/book
- name: Deploy
- uses: peaceiris/actions-gh-pages@v4
+ uses: peaceiris/actions-gh-pages@v3
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: ./book/book