Skip to content

ci: add path filter

ci: add path filter #9

Workflow file for this run

name: Doc CI
on:
push:
branches: main
pull_request:
branches: main
paths:
- "guide/**"
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.