From 12ecced70f0d856bc13d7d0478f3fce4739daeb6 Mon Sep 17 00:00:00 2001
From: Chris Fenner <cfenn@google.com>
Date: Tue, 10 Sep 2024 17:46:04 +0000
Subject: [PATCH] add a manual workflow trigger where a one-off diff can be
 requested

---
 .github/workflows/manual.yml | 31 +++++++++++++++++++++++++++++++
 .github/workflows/render.yml | 17 +++++++++++++++--
 2 files changed, 46 insertions(+), 2 deletions(-)
 create mode 100644 .github/workflows/manual.yml

diff --git a/.github/workflows/manual.yml b/.github/workflows/manual.yml
new file mode 100644
index 0000000..e930c83
--- /dev/null
+++ b/.github/workflows/manual.yml
@@ -0,0 +1,31 @@
+name: manual
+
+on:
+  workflow_dispatch:
+    inputs:
+      diffbase:
+        description: the version or commit to diff against
+        required: false
+        type: string
+
+env:
+  REGISTRY: ghcr.io
+  IMAGE_NAME: ${{ github.repository }}
+
+jobs:
+  # Use the latest container to render the samples with the given diff
+  render-samples:
+    needs: build-container
+    uses: ./.github/workflows/render.yml
+    with:
+      container-version: latest
+      input: guide.tcg
+      workflow: pr
+  render-samples:
+    needs: build-container
+    uses: ./.github/workflows/render.yml
+    with:
+      container-version: latest
+      input: guide.tcg
+      workflow: pr
+      manual_diffbase: ${{ inputs.diffbase }}
diff --git a/.github/workflows/render.yml b/.github/workflows/render.yml
index d124619..8b0ba15 100644
--- a/.github/workflows/render.yml
+++ b/.github/workflows/render.yml
@@ -20,9 +20,13 @@ on:
         required: true
         type: string
       workflow:
-        description: the workflow to run ('pr', 'push', 'release')
+        description: the workflow to run ('pr', 'push', 'release', 'manual')
         required: true
         type: string
+      manual_diffbase:
+        description: diffbase for manual workflow
+        required: false
+        type: string
 
 jobs:
   render:
@@ -77,9 +81,18 @@ jobs:
           diffbase: "${{ github.event.pull_request.base.sha }}"
           pr-number: "${{ github.event.number }}"
           pr-repo: "${{ github.repository }}"
+      # Render the document with diffs in the 'manual' mode.
+      - name: Render
+        if: inputs.workflow == 'manual'
+        uses: ./.github/actions/render
+        with:
+          input-md: ${{ inputs.input }}
+          output-basename: ${{ steps.gen_output_name.outputs.OUTPUT_FILENAME }}
+          pdf: true
+          diffbase: "${{ inputs.manual_diffbase }}"
       # Render the document without diffs in other modes.
       - name: Render
-        if: inputs.workflow != 'pr'
+        if: inputs.workflow != 'pr' && inputs.workflow != 'manual'
         uses: ./.github/actions/render
         with:
           input-md: ${{ inputs.input }}