Skip to content

Merge pull request #24 from ThalesGroup/dev-ci #12

Merge pull request #24 from ThalesGroup/dev-ci

Merge pull request #24 from ThalesGroup/dev-ci #12

name: Documentation
on:
push:
branches: [ main ]
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:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_branch: gh-pages
publish_dir: ./docs/build