Skip to content

Merge pull request #161 from ethereum-optimism/09-18-chore_update_rea… #14

Merge pull request #161 from ethereum-optimism/09-18-chore_update_rea…

Merge pull request #161 from ethereum-optimism/09-18-chore_update_rea… #14

Workflow file for this run

name: Deploy docs
on:
push:
branches:
- main
jobs:
publish:
runs-on: ubuntu-latest
permissions:
contents: write
deployments: write
name: Publish to GitHub Pages
steps:
- name: Checkout sources
uses: actions/checkout@v4
- name: Install Rust stable toolchain
uses: dtolnay/rust-toolchain@stable
- uses: Swatinem/rust-cache@v2
with:
cache-on-failure: true
- name: Setup mdbook
uses: peaceiris/actions-mdbook@v1
with:
mdbook-version: "latest"
- name: Install mdbook plugins
run: |
cargo install mdbook-mermaid
- name: Build book
run: mdbook build ./docs
- name: Deploy
uses: peaceiris/actions-gh-pages@v3
if: ${{ github.ref == 'refs/heads/main' }}
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: ./docs/book