Skip to content

add doc ci

add doc ci #8

Workflow file for this run

name: Doc CI
on:
push:
branches: main
pull_request:
branches: main
jobs:
build:
name: Build, Test and Deploy
runs-on: ubuntu-latest
permissions:
contents: write # To push a branch
pull-requests: write # To create a PR from that branch
steps:
- name: Checkout️
uses: actions/checkout@v4
- name: Install and Build
run: |
cd guide
curl -L https://github.com/rust-lang/mdBook/releases/download/v0.4.28/mdbook-v0.4.28-x86_64-unknown-linux-gnu.tar.gz | tar xzf -
echo $PWD >> $GITHUB_PATH
./mdbook build
- name: Deploy
uses: JamesIves/github-pages-deploy-action@v4
with:
branch: gh-pages
folder: guide/book # The folder the action should deploy.