Skip to content

v0.1.1

v0.1.1 #6

Workflow file for this run

name: "Publish documentation"
on:
release:
types: [published]
workflow_dispatch:
jobs:
publish-documentation:
permissions:
id-token: "write"
pages: "write"
environment:
name: "github-pages"
url: "${{ steps.deployment.outputs.page_url }}"
runs-on: "ubuntu-latest"
steps:
- id: "checkout"
name: "Check out Git repository"
uses: "actions/checkout@v4"
- id: "setup-node"
name: "Set up Node.js"
uses: "actions/setup-node@v4"
with:
cache: "npm"
- id: "install-dependencies"
name: "Install Node.js dependencies"
run: |
npm ci
- id: "build"
name: "Build documentation"
run: |
npm run doc
- name: Setup Pages
uses: actions/configure-pages@v5
- id: "upload-documentation"
name: "Upload Pages artifact"
uses: "actions/upload-pages-artifact@v3"
with:
path: "docs/"
- id: "deployment"
name: "Deploy documentation to GitHub Pages"
uses: "actions/deploy-pages@v4"