From b2102c4cb6cdb793ad57912b09b3c96b8eed4bab Mon Sep 17 00:00:00 2001
From: Scott Mabin <scott@mabez.dev>
Date: Fri, 8 Mar 2024 00:15:10 +0000
Subject: [PATCH] add url path workaround

---
 .github/workflows/documentation.yml | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/documentation.yml b/.github/workflows/documentation.yml
index 5e9ddd10bdf..8bd2ba16bbd 100644
--- a/.github/workflows/documentation.yml
+++ b/.github/workflows/documentation.yml
@@ -40,7 +40,7 @@ jobs:
     # Deploy to the github-pages environment:
     environment:
       name: github-pages
-      url: ${{ steps.deployment.outputs.page_url }}
+      url: ${{ steps.change-page-url.outputs.new_page_url }}
 
     # Specify runner + deployment step:
     runs-on: ubuntu-latest
@@ -48,3 +48,8 @@ jobs:
       - name: Deploy to GitHub Pages
         id: deployment
         uses: actions/deploy-pages@v4
+      # Work around the fact that the path cannot be specified with deploy-pages
+      # https://github.com/orgs/community/discussions/37267#discussioncomment-4012060
+      - name: Override page_url
+        id: change-page-url
+        run: echo "new_page_url=${{ steps.deployment.outputs.page_url }}esp-hal/" >> $GITHUB_OUTPUT