Skip to content

ci: Cleaner Verilator install (#79) #16

ci: Cleaner Verilator install (#79)

ci: Cleaner Verilator install (#79) #16

Workflow file for this run

name: Docs
permissions:
contents: write
on:
push:
branches:
- main
jobs:
build_and_deploy:
name: Build and Deploy
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- uses: Swatinem/rust-cache@v2
- name: Install mdbook
uses: peaceiris/actions-mdbook@v1
with:
mdbook-version: "latest"
- name: Install callouts preprocessor
run: cargo install --locked --git https://github.com/ToolmanP/rs-mdbook-callouts --rev 83898e352a961fc65044e04c864141c8b5481722
- name: Build
run: mdbook build
- name: Deploy
uses: peaceiris/actions-gh-pages@v4
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: ./docs