Skip to content

Mended the deployment #204

Mended the deployment

Mended the deployment #204

Workflow file for this run

name: Deploy GitBook to GitHub Pages
on:
push:
branches: ["master"]
workflow_dispatch:
permissions:
contents: read
pages: write
id-token: write
concurrency:
group: "pages"
cancel-in-progress: false
jobs:
build:
runs-on: ubuntu-latest
steps:
- name: Checkout
uses: actions/checkout@v4
timeout-minutes: 5
- name: Set up Node.js
uses: actions/setup-node@v3
with:
node-version: '12.18.2'
timeout-minutes: 5
- name: Install npm
run: npm install -g npm@6.14.5
timeout-minutes: 5
- name: Install GitBook CLI
run: npm install -g gitbook-cli
timeout-minutes: 5
- name: Fetch GitBook version 3.2.3
run: gitbook fetch 3.2.3
timeout-minutes: 5
- name: Install GitBook plugins
run: gitbook install || true
timeout-minutes: 5
- name: Build GitBook
run: gitbook build . ./_book
timeout-minutes: 5
deploy:
runs-on: ubuntu-latest
needs: build
steps:
- name: Checkout code
uses: actions/checkout@v2
- name: Deploy to GitHub Pages
uses: peaceiris/actions-gh-pages@v3
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: ./_book