Skip to content

Merge pull request #3 from davidwilemski/patch-1 #16

Merge pull request #3 from davidwilemski/patch-1

Merge pull request #3 from davidwilemski/patch-1 #16

Workflow file for this run

name: Publish to GitHub Pages
on:
push:
branches:
- main
jobs:
deploy:
runs-on: ubuntu-22.04
steps:
- uses: actions/checkout@v3
- name: Set up mdBook
uses: peaceiris/actions-mdbook@v1
with:
mdbook-version: '0.4.15'
- name: Generate docs site
run: mdbook build
- name: Deploy docs site
uses: peaceiris/actions-gh-pages@v3
if: ${{ github.ref == 'refs/heads/main' }}
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: ./book