haddock-site.yml

# This workflow builds and publishes the Haddock site to:
# https://plutus.cardano.intersectmbo.org/haddock/$version
# And optionally to:
# https://plutus.cardano.intersectmbo.org/haddock/latest
# On push to master, this workflows publishes to:
# https://plutus.cardano.intersectmbo.org/haddock/master

name: "📜 Haddock Site"

on:
  push: 
    branches:
      - master
      
  workflow_dispatch:
    inputs:
      ref:
        description: |
          The $ref to build off of, e.g. "1.29.0.0", "master", or any other valid git ref.
          When making a release, this is usually the version tag, e.g. "1.29.0.0", and will be
          equal to the $destination input below. When back-porting this could be a commit sha instead.
        required: true
        type: string

      destination:
        description: |
          The $destination folder, e.g. when "1.29.0.0" the haddock site will be deployed to:
          https://plutus.cardano.intersectmbo.org/haddock/1.29.0.0
        required: true
        type: string
  
      latest: 
        description: |
          If true, then the haddock site will also be deployed to:
          https://plutus.cardano.intersectmbo.org/haddock/latest.
          You want to leave this to true unless you are deploying old versions or back-porting.
        type: boolean
        required: true 
        default: true

jobs:
  deploy:
    name: Deploy
    runs-on: [self-hosted, plutus-shared]
    permissions:
      contents: write
    environment:
      name: github-pages
    steps:
      - name: Checkout
        uses: actions/checkout@main
        with:
          ref: ${{ inputs.ref || github.ref_name }}

      - name: Checkout Haddock Script
        run: | 
          git fetch origin master
          git checkout origin/master ./scripts/combined-haddock.sh
            
      - name: Build Site
        run: | 
          nix develop --no-warn-dirty --accept-flake-config --command ./scripts/combined-haddock.sh _haddock all

      - name: Deploy Site
        uses: JamesIves/github-pages-deploy-action@v4.6.4
        with:
          folder: _haddock
          target-folder: haddock/${{ inputs.destination || github.ref_name }}
          single-commit: true
 
      - name: Deploy Site (latest)
        if: ${{ inputs.latest == true }}
        uses: JamesIves/github-pages-deploy-action@v4.6.4
        with:
          folder: _haddock
          target-folder: haddock/latest
          single-commit: true