chore: build docs in ci

marimo-team · Jan 10, 2025 · 140ab2d · 140ab2d
1 parent 1f2f437
commit 140ab2d
Showing 1 changed file with 3 additions and 6 deletions.
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
@@ -23,18 +23,15 @@ jobs:
           python-version: 3.12
           cache: 'pip'
 
-      - name: 🥚 Install hatch
-        run: pip install hatch
-
-      - name: 📚 Build docs
-        run: hatch run docs:build
-
       - name: ⚡ Install Vercel CLI
         run: npm install --global vercel@latest
 
       - name: ⬇️ Pull Vercel Environment Information
         run: vercel pull --yes --environment=production --token=${{ secrets.VERCEL_TOKEN }}
 
+      - name: 📚 Build docs
+        run: vercel build --prod --token=${{ secrets.VERCEL_TOKEN }}
+
       - name: 🚀 Deploy to Vercel
         if: github.ref == 'refs/heads/main'
         run: vercel deploy --prebuilt --prod --token=${{ secrets.VERCEL_TOKEN }}