github: re-work github pages deploy
authorPaul Donald <redacted>
Mon, 16 Feb 2026 02:22:54 +0000 (03:22 +0100)
committerPaul Donald <redacted>
Mon, 16 Feb 2026 02:22:54 +0000 (03:22 +0100)
follow-up to 90836a0fac132eb8bf71b87725153f45f45babaa

until a proper 'github-pages' environment is configured,
go back to the older working method.

Signed-off-by: Paul Donald <redacted>
.github/workflows/jsdoc.yml

index 690fbe5e9b9f0d8cca430a6c87cd0a9de490c8a2..42a2446681b5323e8d307e986cc65c9f7db470ef 100644 (file)
@@ -15,12 +15,12 @@ jobs:
   build:
     if: endsWith( github.repository, 'luci' )
     runs-on: ubuntu-latest
-    permissions:
-      pages: write
-      id-token: write
-    environment:
-      name: github-pages
-      url: ${{ steps.deployment.outputs.page_url }}
+    permissions:
+      pages: write
+      id-token: write
+    environment:
+      name: github-pages
+      url: ${{ steps.deployment.outputs.page_url }}
     steps:
       - name: Checkout code
         uses: actions/checkout@v6
@@ -37,13 +37,21 @@ jobs:
           name: docs
           path: ./docs/
 
+      - name: Deploy
+        uses: peaceiris/actions-gh-pages@v4
+        with:
+          github_token: ${{ secrets.GITHUB_TOKEN }}
+          publish_dir: ./docs/
+          enable_jekyll: false
+
       # Deploy step depends on the repo settings->pages config: choose Branch
       # "gh-pages", path "/". Deploy creates a commit on the gh-pages branch,
       # with the content of built docs folder "/docs" in repo root "/".
       # This is the "luci" repo, so the result of gh-pages is deployed to
       # "<githubid>.github.io/luci"
-      - name: Deploy to GitHub Pages
-        id: deployment
-        uses: actions/deploy-pages@v4
-        with:
-          artifact_name: docs
+
+      # - name: Deploy to GitHub Pages
+      #   id: deployment
+      #   uses: actions/deploy-pages@v4
+      #   with:
+      #     artifact_name: docs
git clone https://git.99rst.org/PROJECT