Skip to content

CI: github actions for deploying documentation #237 #3

CI: github actions for deploying documentation #237

CI: github actions for deploying documentation #237 #3

Workflow file for this run

name: Deploy Documentation Site
on:
push:
branches:
- main
pull_request:
branches:
- main
jobs:
deploy:
runs-on: ubuntu-latest
steps:
- name: Checkout repository
uses: actions/checkout@v3
- name: Set up Node.js
uses: actions/setup-node@v3
with:
node-version: '18'
- name: Change directory to documentation
run: cd documentation
- name: Install dependencies
run: yarn install
- name: Build documentation site
run: yarn build
- name: Deploy to GitHub Pages
uses: peaceiris/actions-gh-pages@v3
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: ./build