Add CI deployment step for documentation versioning on release tags

Co-authored-by: dannywillems <[email protected]>

Author: Copilot

.github/workflows/docs.yaml

@@ -14,7 +14,7 @@ env:
 
 concurrency:
   group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}
-  cancel-in-progress: true
+  cancel-in-progress: ${{ github.ref != 'refs/heads/develop' && !startsWith(github.ref, 'refs/tags/v') }}
 
 jobs:
   # Test documentation build
@@ -122,17 +122,28 @@ jobs:
         id: deployment
         uses: actions/deploy-pages@v4
 
-  # Create versioned documentation on tag creation
+  # Create and deploy versioned documentation on tag creation
   version-docs:
     if: startsWith(github.ref, 'refs/tags/v')
-    needs: [build-docs]
     runs-on: ubuntu-latest
+    environment:
+      name: github-pages
+      url: ${{ steps.deployment.outputs.page_url }}
+
+    permissions:
+      contents: read
+      pages: write
+      id-token: write
+
     steps:
       - name: Checkout repository
         uses: actions/checkout@v5
         with:
           fetch-depth: 0
 
+      - name: Setup Pages
+        uses: actions/configure-pages@v5
+
       - name: Setup Node.js
         uses: actions/setup-node@v5
         with:
@@ -161,10 +172,19 @@ jobs:
           sudo apt update
           sudo apt install -y protobuf-compiler
 
+      - name: Setup Rust
+        uses: dtolnay/rust-toolchain@stable
+        with:
+          components: rustfmt
+          # This should be in line with the verison in:
+          # - Makefile
+          # - ./github/workflows/docs.yaml
+          # - ./github/workflows/fmt.yaml
+          # - ./github/workflows/lint.yaml
+          toolchain: nightly
+
       - name: Build versioned documentation
-        run: |
-          cd website
-          npm run build
+        run: make docs-build
         env:
           NODE_ENV: production
 
@@ -182,3 +202,12 @@ jobs:
           path: |
             mina-docs-${{ steps.version.outputs.version }}.tar.gz
             mina-docs-${{ steps.version.outputs.version }}.zip
+
+      - name: Upload to GitHub Pages
+        uses: actions/upload-pages-artifact@v4
+        with:
+          path: website/build
+
+      - name: Deploy to GitHub Pages
+        id: deployment
+        uses: actions/deploy-pages@v4

website/docs/appendix/release-process.mdx

@@ -320,6 +320,25 @@ This command:
 The versioned documentation will be available at `/docs/1.5.0/` and can be
 accessed through the version dropdown in the website navigation.
 
+<!-- prettier-ignore-start -->
+
+:::info Automated CI Deployment
+
+When a release tag is created (e.g., `v1.5.0`), the GitHub Actions CI will
+automatically:
+
+- Create a versioned copy of the documentation
+- Build the documentation with the new version included
+- Deploy the updated documentation to GitHub Pages
+- Upload versioned documentation archives as release assets
+
+This means the documentation versioning and deployment is handled automatically
+as part of the tag creation process.
+
+:::
+
+<!-- prettier-ignore-stop -->
+
 ### 7. Create GitHub Release
 
 ```bash