Skip to content

[pre-commit.ci] pre-commit autoupdate #267

[pre-commit.ci] pre-commit autoupdate

[pre-commit.ci] pre-commit autoupdate #267

Workflow file for this run

name: deploy-book
on: [push]
# This job installs dependencies, builds the book, and pushes it to `gh-pages`
jobs:
deploy-book:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
- name: "Build the book"
run: |
make book
- name: GitHub Pages action
uses: JamesIves/github-pages-deploy-action@v4.4.3
with:
branch: gh-pages
folder: book/_build/html