add buildWebpage to pull-request action

dwrensha · Sep 14, 2023 · fb285cf · fb285cf
1 parent dcfdb41
commit fb285cf
Showing 1 changed file with 10 additions and 0 deletions.
diff --git 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"