Skip to content

1.1 rewrite

1.1 rewrite #3

Workflow file for this run

name: GitHub Pages
on:
push:
branches:
- _doc
jobs:
deploy:
runs-on: ubuntu-latest
permissions:
contents: write
concurrency:
group: ${{ github.workflow }}-${{ github.ref }}
steps:
- uses: actions/checkout@v4
- name: Setup mdBook
uses: peaceiris/actions-mdbook@v1
with:
mdbook-version: 'latest'
- name: Run mdBook
run: mdbook build
working-directory: ./doc_src
- name: Deploy
uses: peaceiris/actions-gh-pages@v4
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: ./doc_src/book