Fix GitHub Pages deployment to serve from docs folder

Author: stephen-rowan

.github/workflows/pages.yml

@@ -11,24 +11,17 @@ on:
   workflow_dispatch:  # Allow manual trigger
 
 permissions:
-  contents: read
-  pages: write
-  id-token: write
-
-concurrency:
-  group: "pages"
-  cancel-in-progress: false
+  contents: write
 
 jobs:
-  generate-and-deploy:
+  generate-and-commit:
     runs-on: ubuntu-latest
-    environment:
-      name: github-pages
-      url: ${{ steps.deployment.outputs.page_url }}
 
     steps:
     - name: Checkout repository
       uses: actions/checkout@v4
+      with:
+        fetch-depth: 0
 
     - name: Set up Python
       uses: actions/setup-python@v4
@@ -44,15 +37,16 @@ jobs:
       run: |
         python "Graph Analysis/unified_analysis.py" --html --html-output docs/index.html
     
-    - name: Setup Pages
-      uses: actions/configure-pages@v3
-    
-    - name: Upload artifact
-      uses: actions/upload-pages-artifact@v2
-      with:
-        path: './docs'
-    
-    - name: Deploy to GitHub Pages
-      id: deployment
-      uses: actions/deploy-pages@v2
+    - name: Commit and push if changed
+      run: |
+        git config --local user.email "[email protected]"
+        git config --local user.name "GitHub Action"
+        git remote set-url origin https://x-access-token:${{ secrets.GITHUB_TOKEN }}@github.com/${{ github.repository }}.git
+        git add docs/index.html docs/script.js docs/style.css
+        if git diff --staged --quiet; then
+          echo "No changes to commit"
+        else
+          git commit -m "Auto-update HTML report and assets [skip ci]"
+          git push origin HEAD:main
+        fi