Skip to content

Merge branch 'feature/build' into develop #47

Merge branch 'feature/build' into develop

Merge branch 'feature/build' into develop #47

Workflow file for this run

name: book
on:
push:
branches:
- develop
workflow_dispatch:
permissions:
contents: write
concurrency:
group: book-pages
cancel-in-progress: true
jobs:
deploy_site:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- name: Setup mdBook
uses: peaceiris/actions-mdbook@v1
with:
mdbook-version: 'latest'
- name: Build book
run: mdbook build book --dest-dir docs
- name: Deploy
uses: peaceiris/actions-gh-pages@v3
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: ./docs