Skip to content

Chore merge main from 8cc86cc to 11272ec #12082

Chore merge main from 8cc86cc to 11272ec

Chore merge main from 8cc86cc to 11272ec #12082

Workflow file for this run

name: Docs
on:
push:
branches:
- main
paths:
- 'js/**'
- 'scss/**'
- 'site/**'
pull_request:
types: [opened, reopened, synchronize]
workflow_dispatch:
env:
FORCE_COLOR: 2
NODE: 20
permissions:
contents: read
jobs:
docs:
runs-on: ubuntu-latest
if: github.actor != 'dependabot[bot]'
steps:
- name: Clone repository
uses: actions/checkout@v4
with:
persist-credentials: false
- name: Set up Node.js
uses: actions/setup-node@v4
with:
node-version: "${{ env.NODE }}"
cache: npm
- run: java -version
- name: Install npm dependencies
run: npm ci
- name: Build docs
run: npm run docs-build
- name: Validate HTML
run: npm run docs-vnu
- name: Run linkinator
uses: JustinBeckwith/linkinator-action@v1
with:
paths: _site
recurse: true
verbosity: error
skip: "^(?!http://localhost)"