From fb285cff4c7549f26324cc05693940511ffe581f Mon Sep 17 00:00:00 2001
From: David Renshaw <dwrenshaw@gmail.com>
Date: Thu, 14 Sep 2023 16:56:26 -0400
Subject: [PATCH] add buildWebpage to pull-request action

---
 .github/workflows/pull-request.yaml | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/.github/workflows/pull-request.yaml b/.github/workflows/pull-request.yaml
index c81412d0..3a135e4f 100644
--- a/.github/workflows/pull-request.yaml
+++ b/.github/workflows/pull-request.yaml
@@ -31,4 +31,14 @@ jobs:
           result_run1=$?
           echo "Complete at $(date +'%T'); return value $result_run1"
 
+      - name: run buildWebpage
+        id: run-buildWebpage
+        env:
+          GITHUB_PAGES_BASEURL: https://dwrensha.github.io/math-puzzles-in-lean4/
+        run: |
+          set -o pipefail
+          echo "Starting build at $(date +'%T')"
+          build/bin/buildWebpage
+          result_run1=$?
+          echo "Complete at $(date +'%T'); return value $result_run1"