Skip to content

Merge pull request #1044 from leviathanbeak/leviathanbeak/migrate_to_… #510

Merge pull request #1044 from leviathanbeak/leviathanbeak/migrate_to_…

Merge pull request #1044 from leviathanbeak/leviathanbeak/migrate_to_… #510

Workflow file for this run

name: miden book
on:
push:
branches:
- main
- next
jobs:
deploy:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v2
- uses: actions-rs/toolchain@v1
with:
toolchain: nightly
override: true
- name: Setup mdBook
uses: peaceiris/actions-mdbook@v1
with:
mdbook-version: 'latest'
- name: Install mdbook-katex
uses: actions-rs/cargo@v1
with:
command: install
args: mdbook-katex
- name: Install mdbook-linkcheck
uses: actions-rs/cargo@v1
with:
command: install
args: mdbook-linkcheck
- name: Build miden book
run: mdbook build docs/
- name: Deploy to GitHub Pages
uses: peaceiris/actions-gh-pages@v3
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: ./docs/book/html