docs.yml

# Build, and deploy docs to GitHub Pages
name: "Build and deploy docs"

on:
  # "Production" deployments run on branch
  push:
    branches: ["main"]
    paths:
      - ".github/workflows/docs.yml"
      - "doc/**"

  # Allows you to run this workflow manually from the Actions tab
  workflow_dispatch:


# Sets permissions of the GITHUB_TOKEN
permissions:
  # For GitHub Pages:
  contents: "read"
  pages: "write"
  id-token: "write"


# Allow one concurrent deployment
concurrency:
  group: "pages"
  cancel-in-progress: true


jobs:
  # Build job
  build:
    runs-on: "ubuntu-latest"
    steps:
      - name: "Checkout"
        uses: "actions/checkout@v3"

      - uses: "quarto-dev/quarto-actions/setup@v2"

      - name: "Render Quarto website"
        run: "quarto render doc/"

      - name: "Upload site artifact"
        uses: "actions/upload-pages-artifact@v1"
        with:
          path: "doc/_site"


  # Deploy to GH Pages
  deploy:
    runs-on: "ubuntu-latest"
    needs: "build"
    environment:
      name: "github-pages"
      url: "${{ steps.deployment.outputs.page_url }}"
    steps:
      - name: "Deploy to GitHub Pages"
        id: "deployment"
        uses: "actions/deploy-pages@v1"