keep track of github-page source change

This commit is contained in:
shadawck
2023-08-25 19:14:39 +02:00
parent cb9051687c
commit c2da63256e

View File

@@ -9,8 +9,11 @@ on:
jobs:
deploy:
runs-on: ubuntu-20.04
permissions:
contents: write
steps:
- uses: actions/checkout@v2
- uses: actions/checkout@v3
- name: Setup mdBook
uses: peaceiris/actions-mdbook@v1
@@ -19,10 +22,7 @@ jobs:
# mdbook-version: 'latest'
- run: mdbook build
- name: Deploy
uses: peaceiris/actions-gh-pages@v3
if: ${{ github.ref == 'refs/heads/master' }}
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: ./docs
- uses: stefanzweifel/git-auto-commit-action@v4
with:
commit_message: Change github page source
branch: master