docs: Migrate publishing to 'builds'

Instead of publishing to gh-pages, which supports a single set of pages, publish the results to the S3 repo for builds.zephyrproject.org, with PRs getting their own tree, and the 'main' getting replaced each time main merges. The 'zephyr' repo, when it incorporates the docs, will generate them itself and publish them as part of the normal doc updates for 'latest' and for releases. Signed-off-by: David Brown <[email protected]>
zephyrproject-rtos · Sep 19, 2024 · 90213ff · 90213ff
1 parent 7725e34
commit 90213ff
Showing 1 changed file with 4 additions and 6 deletions.
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
@@ -74,9 +74,6 @@ jobs:
 
   deploy:
     needs: generate-docs
-    permissions:
-      pages: write
-      id-token: write
 
     environment:
       name: github-pages
@@ -85,6 +82,7 @@ jobs:
     runs-on: ubuntu-latest
 
     steps:
-      - name: Deploy to GitHub Pages
-        id: deployment
-        uses: actions/deploy-pages@v4
+      - name: Some deploy debugging
+        run: |
+          echo "This shows deployment"
+          echo "Key: ${AWS_BUILDS_ZEPHYR_PR_ACCESS_KEY_ID}"