Skip to content

fix(deps): update patches #37

fix(deps): update patches

fix(deps): update patches #37

name: Build and publish documentation
on:
workflow_dispatch:
pull_request:
paths:
- 'doc/**'
push:
branches:
- master
paths:
- 'doc/**'
concurrency:
group: ${{ github.workflow }}-${{ github.ref }}
cancel-in-progress: true
jobs:
build-and-upload:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # v4
- uses: pnpm/action-setup@v4
name: Install pnpm
with:
version: 9
run_install: false
- name: Install Node.js
uses: actions/setup-node@39370e3970a6d050c480ffad4ff0ed4d3fdee5af # v4
with:
node-version: 20
cache: 'pnpm'
cache-dependency-path: 'doc/pnpm-lock.yaml'
- name: Install dependencies
working-directory: doc
run: pnpm install
- name: Build documentation
working-directory: doc
run: pnpm run build
- uses: actions/upload-pages-artifact@56afc609e74202658d3ffba0e8f6dda462b719fa # v3
with:
path: doc/dist
deploy:
needs: build-and-upload
if: ${{ github.ref == 'refs/heads/master' }}
runs-on: ubuntu-latest
permissions:
pages: write
id-token: write
environment:
name: github-pages
url: ${{ steps.deployment.outputs.page_url }}
steps:
- name: Deploy to GitHub Pages
id: deployment
uses: actions/deploy-pages@d6db90164ac5ed86f2b6aed7e0febac5b3c0c03e # v4