Skip to content

Merge pull request #66 from pblottiere/badge_v100 #1

Merge pull request #66 from pblottiere/badge_v100

Merge pull request #66 from pblottiere/badge_v100 #1

name: Documentation
on:
push:
branches: [ main ]
pull_request:
jobs:
build-docs:
name: Build Docs
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- name: Setup mdBook
uses: peaceiris/actions-mdbook@v1
with:
mdbook-version: 'latest'
- run: mdbook build docs
- name: Deploy
uses: peaceiris/actions-gh-pages@v3
if: github.ref == 'refs/heads/main'
with:
deploy_key: ${{ secrets.ACTIONS_DEPLOY_KEY }}
publish_branch: gh-pages
publish_dir: ./docs/build