attempting to fix github action

dwrensha · Sep 14, 2023 · cdb1f02 · cdb1f02
1 parent e3bdec5
commit cdb1f02
Showing 1 changed file with 2 additions and 1 deletion.
diff --git 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"