v2

.github/workflows/ci.yml

@@ -112,6 +112,7 @@ jobs:
           retention-days: 1
 
   deploy:
+    if: false
     # if: github.event_name != 'pull_request' && github.event.ref == 'refs/heads/master'
     # if: github.event_name != 'pull_request'
     # Grant GITHUB_TOKEN the permissions required to make a Pages deployment
@@ -131,6 +132,27 @@ jobs:
         with:
           artifact_name: github-pages
 
+  deployv2:
+    # Add a dependency to the build job
+    needs: rustdoc
+
+    # 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 action
+
   clippy:
     runs-on: windows-latest
     needs: [build]