Switch GH actions deploy mechanism

.github/workflows/ci.yaml

@@ -211,9 +211,12 @@ jobs:
         run: make -C docs html
       - name: Deploy docs
         if: github.ref == 'refs/heads/main'
-        uses: JamesIves/github-pages-deploy-action@v4
+        uses: actions/upload-pages-artifact@v3
         with:
-          folder: docs/build/html # The folder the action should deploy.
+          path: docs/build/html # The folder the action should deploy.        
+        # uses: JamesIves/github-pages-deploy-action@v4
+        # with:
+        #   folder: docs/build/html # The folder the action should deploy.
         # uses: jsmrcaga/action-netlify-deploy@v2.0.0
         # with:
         #   NETLIFY_AUTH_TOKEN: ${{ secrets.NETLIFY_AUTH_TOKEN }}
@@ -223,6 +226,26 @@ jobs:
         #   install_command: "echo Skipping installing the dependencies"
         #   build_command: "echo Skipping building the web files"
         #   build_directory: docs/build/html
+  deploy-docs:
+    # Add a dependency to the build job
+    needs: docs
+
+    # Grant GITHUB_TOKEN the permissions required to make a Pages deployment
+    permissions:
+      pages: write      # to deploy to Pages
+      id-token: write   # to verify the deployment originates from an appropriate source
+
+    # Deploy to the github-pages environment
+    environment:
+      name: github-pages
+      url: ${{ steps.deployment.outputs.page_url }}
+
+    # Specify runner + deployment step
+    runs-on: ubuntu-latest
+    steps:
+      - name: Deploy to GitHub Pages
+        id: deployment
+        uses: actions/deploy-pages@v4 # or specific "vX.X.X" version tag for this
   deploy:
     runs-on: ubuntu-latest
     if: startsWith(github.ref, 'refs/tags/v')