Skip to content

v0.4.0

v0.4.0 #495

Workflow file for this run

name: GitHub Pages
on:
pull_request:
branches: [main]
push:
branches: [main]
workflow_dispatch:
# set permissions of GITHUB_TOKEN to allow deployment to GitHub Pages
permissions:
contents: read
pages: write
id-token: write
jobs:
build:
uses: janosh/workflows/.github/workflows/nodejs-gh-pages.yml@main
with:
python-version: "3.11"
working-directory: site
pre-build: |
pip install '..[docs]'
python make_docs.py
install-cmd: npm install --force