deploy.yml

# <!-- Managed automatically by PreTeXt authoring tools -->
# (delete the above line to manage this file manually)

name: Deploy to GitHub pages
on:
# Uncomment to automatically deploy when a commit is pushed to
# the main (or otherwise configured) branch (and remove auto
# management line at top of this file)
    # push:
    #     branches: ["main"]
# The below allows for manually deploying by running the action
# via GitHub.com
    workflow_dispatch:

jobs:
    # This job builds the book. You can download the resulting build "artifact" by
    # navigating to your actions manager in Github, selecting this run, and clicking
    # "download artifact" on the "website" artifact.
    build:
        runs-on: ubuntu-latest

        steps:
            - name: Checkout source
              uses: actions/checkout@v4

            - name: Build web with PreTeXt
              uses: siefkenj/pretext-build-action@main
              with:
                  pretext-command: build web
                  project-root: "."
                  output-dir: "."

            - name: Stage with PreTeXt
              uses: siefkenj/pretext-build-action@main
              with:
                  pretext-command: deploy --stage-only
                  project-root: "."
                  output-dir: "."

            - name: Bundle output/stage as artifact
              uses: actions/upload-artifact@v4
              with:
                  name: website
                  path: output/stage

    # This job deploys the artifact built in the previous job to Github pages.
    deploy:
        runs-on: ubuntu-latest
        needs: build
        permissions:
            contents: read
            pages: write
            id-token: write
        concurrency:
            group: "page"
            cancel-in-progress: false
        environment:
            name: github-pages
            url: ${{ steps.deployment.outputs.page_url }}
        steps:
            - name: Download website artifact
              uses: actions/download-artifact@v4
              with:
                  name: website
                  path: website
            - name: Setup Pages
              uses: actions/configure-pages@v4
            - name: Upload artifact
              uses: actions/upload-pages-artifact@v3
              with:
                  path: "./website"
            - name: Deploy to Github Pages
              id: deployment
              uses: actions/deploy-pages@v4