From 58c7ad1f78e1e6e1e3746b25e3e87b8b78a76502 Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Fri, 27 Mar 2026 17:57:42 +0000
Subject: [PATCH 1/2] Initial plan


From 8017051856dbf12ebef2ef4c59c7555aae4b5311 Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Fri, 27 Mar 2026 18:00:10 +0000
Subject: [PATCH 2/2] Refactor GHA: add build workflow for PRs, keep deploy for
 main only

Agent-Logs-Url: https://github.com/transparency-certified/trace-specification/sessions/f429c21e-17e7-43a8-828d-0e5275a25d6c

Co-authored-by: larsvilhuber <7022712+larsvilhuber@users.noreply.github.com>
---
 .github/workflows/build.yml  | 20 ++++++++++++++++++++
 .github/workflows/deploy.yml |  2 +-
 2 files changed, 21 insertions(+), 1 deletion(-)
 create mode 100644 .github/workflows/build.yml

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
new file mode 100644
index 0000000..987d9df
--- /dev/null
+++ b/.github/workflows/build.yml
@@ -0,0 +1,20 @@
+name: build-docs
+
+# Run on pull requests to verify the build succeeds
+on:
+  pull_request:
+
+# Build the docs to verify they compile without errors
+jobs:
+  build-book:
+    runs-on: ubuntu-latest
+    permissions:
+      contents: read
+    steps:
+    - uses: actions/checkout@v2
+    - name: Build the jupyter-book
+      uses: addnab/docker-run-action@v3
+      with: 
+          image: craigwillis/jupyter-book:latest
+          options: -v ${{ github.workspace }}:/src
+          run: jupyter-book build --all .
diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml
index 9a8f631..dd740cf 100644
--- a/.github/workflows/deploy.yml
+++ b/.github/workflows/deploy.yml
@@ -1,6 +1,6 @@
 name: deploy-docs
 
-# Only run this when the master branch changes
+# Only run this when the main branch changes
 on:
   push:
     branches: