From cdb1f02c5af1c4db5f8bd4ed481720cd4457bef0 Mon Sep 17 00:00:00 2001
From: David Renshaw <dwrenshaw@gmail.com>
Date: Thu, 14 Sep 2023 16:46:28 -0400
Subject: [PATCH] attempting to fix github action

---
 .github/workflows/push-main.yaml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/push-main.yaml b/.github/workflows/push-main.yaml
index e7ea93ad..c331acc8 100644
--- a/.github/workflows/push-main.yaml
+++ b/.github/workflows/push-main.yaml
@@ -49,10 +49,11 @@ jobs:
 
       - 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')"
-          export GITHUB_PAGES_BASEURL="https://dwrensha.github.io/math-puzzles-in-lean4/"
           build/bin/buildWebpage
           result_run1=$?
           echo "Complete at $(date +'%T'); return value $result_run1"