Skip to content

Revert "Add missing CNAME file for GitHub pages" #126

Revert "Add missing CNAME file for GitHub pages"

Revert "Add missing CNAME file for GitHub pages" #126

Workflow file for this run

name: Deploy mdBook
on: [push]
jobs:
build:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v2
- name: Install mdbook-mermaid
run: cargo install mdbook-mermaid
- name: Setup mdBook
uses: peaceiris/actions-mdbook@v1
with:
mdbook-version: '0.4.35'
- run: mdbook build
- name: Deploy
uses: peaceiris/actions-gh-pages@v3
if: ${{ github.ref == 'refs/heads/master' }}
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: ./book