Skip to content

Merge branch 'update/microg' #3

Merge branch 'update/microg'

Merge branch 'update/microg' #3

Workflow file for this run

name: Generate documentation
on:
push:
branches: [ master ]
jobs:
docs:
name: Build documentation
runs-on: ubuntu-latest
steps:
- uses: actions/[email protected]
with:
fetch-depth: 0
- uses: cachix/install-nix-action@v12
with:
install_url: https://github.com/numtide/nix-flakes-installer/releases/download/nix-2.4pre20201221_9fab14a/install
extra_nix_config: |
experimental-features = nix-command flakes
- run: nix build .#manual -o manual
- uses: peaceiris/actions-gh-pages@v3
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: ./manual/book
cname: docs.robotnix.org