feat: switch docs into vocs (#1929)

Closes INT-4644, INT-4645, INT-4650, INT-4648 (links are checked
automatically by vocs)

Author: yi-sun

.github/workflows/lints.yml

@@ -23,7 +23,7 @@ jobs:
 
       - uses: codespell-project/actions-codespell@v2
         with:
-          skip: Cargo.lock,./book/pnpm-lock.yaml,*.txt,./crates/toolchain/openvm/src/memcpy.s,./crates/toolchain/openvm/src/memset.s,./audits/*.pdf,./guest-libs/ruint/*
+          skip: Cargo.lock,./docs/vocs/pnpm-lock.yaml,*.txt,./crates/toolchain/openvm/src/memcpy.s,./crates/toolchain/openvm/src/memset.s,./audits/*.pdf,./guest-libs/ruint/*
           ignore_words_file: .codespellignore
 
       - uses: dtolnay/rust-toolchain@stable

.github/workflows/publish-mdbook.yml renamed to .github/workflows/publish-vocs.yml

@@ -1,6 +1,9 @@
-name: Publish mdBook to Vercel
+name: Publish Vocs Docs to Vercel
 
 on:
+  pull_request:
+    branches:
+      - feat/new-execution
   workflow_dispatch:
     inputs:
       branch:
@@ -18,40 +21,37 @@ jobs:
 
     steps:
       - name: Checkout repository
-        uses: actions/checkout@v4
+        uses: actions/checkout@v5
         with:
           ref: ${{ github.event.inputs.branch }}
 
-      - name: Install Rust
-        uses: dtolnay/rust-toolchain@stable
-      - uses: Swatinem/rust-cache@v2
+      - name: Setup pnpm
+        uses: pnpm/action-setup@v4
         with:
-          cache-on-failure: true
+          version: 9.15.0
 
-      - name: Setup mdbook
-        uses: peaceiris/actions-mdbook@v1
+      - name: Setup Node.js
+        uses: actions/setup-node@v4
         with:
-          mdbook-version: "latest"
+          node-version: 20
+          cache: 'pnpm'
+          cache-dependency-path: 'docs/vocs/pnpm-lock.yaml'
 
-      - name: Install mdbook plugins
+      - name: Build docs
         run: |
-          cargo install mdbook-katex mdbook-linkcheck mdbook-mermaid just
-
-      - name: Build the book
-        run: |
-          cd book
-          mdbook build
+          cd docs/vocs/
+          pnpm install --frozen-lockfile && pnpm vercel-build
 
       - name: Install Vercel CLI
         run: npm install -g vercel
 
       - name: Deploy to Vercel
         env:
           VERCEL_TOKEN: ${{ secrets.VERCEL_TOKEN }} # Token stored in GitHub Secrets
-          VERCEL_PROJECT_ID: ${{ secrets.VERCEL_PROJECT_ID }}
+          VERCEL_PROJECT_ID: ${{ secrets.VERCEL_VOCS_PROJECT_ID }}
           VERCEL_ORG_ID: ${{ secrets.VERCEL_ORG_ID }}
         run: |
-          cd book/book
+          cd docs/vocs/
           mkdir .vercel
           echo "{\"projectId\":\"$VERCEL_PROJECT_ID\",\"orgId\":\"$VERCEL_ORG_ID\"}" > .vercel/project.json
-          vercel --prod --token $VERCEL_TOKEN
+          vercel --prod --token $VERCEL_TOKEN --yes