Skip to content

Merge pull request #614 from elopez/fix-release-build #331

Merge pull request #614 from elopez/fix-release-build

Merge pull request #614 from elopez/fix-release-build #331

Workflow file for this run

name: Publish Documentation
on:
push:
branches:
- main
jobs:
build-and-deploy:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- uses: DeterminateSystems/nix-installer-action@main
- uses: DeterminateSystems/magic-nix-cache-action@main
- name: build docs
run: nix develop --ignore-environment --command sh -c "cd doc && mdbook build"
- name: publish docs
uses: JamesIves/github-pages-deploy-action@v4.6.0
with:
branch: gh-pages
folder: doc/book