deploy.yml

name: Build, verify and deploy

on:
  push:
    branches: [main]
  pull_request:
    branches: [main]
  workflow_dispatch:

permissions:
  contents: write

concurrency:
  group: deploy-${{ github.ref }}
  cancel-in-progress: true

jobs:
  build:
    runs-on: ubuntu-latest
    steps:
      - uses: actions/checkout@v4

      - uses: actions/setup-node@v4
        with:
          node-version-file: .nvmrc
          cache: npm

      - run: npm ci

      # Formatting and type-checking run here rather than in a workflow of their
      # own: they need exactly the install this job has already done.
      - name: Check formatting
        run: npx prettier . --check

      - name: Type-check
        run: npx astro check

      - name: Build
        run: npm run build

      # URL parity, byte-identity of the published PDFs and images, and the
      # structural/feature audits. Runs before the deploy step, so a regression
      # fails the workflow instead of reaching ardoco.de.
      - name: Verify
        run: npm run verify

      - name: Deploy to gh-pages
        if: github.event_name != 'pull_request' && github.ref == 'refs/heads/main'
        uses: JamesIves/github-pages-deploy-action@v4
        with:
          folder: dist
          branch: gh-pages
          clean: true