fix: build directory changed (#219)

pluto · Feb 8, 2025 · a1e2f26 · a1e2f26
1 parent cbfe9f1
commit a1e2f26
Showing 1 changed file with 8 additions and 1 deletion.
diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml
@@ -52,10 +52,17 @@ jobs:
       - name: Build with mdBook
         run: mdbook build
 
+      - name: Verify build directory contains index.html
+        run: |
+          if [ ! -f ./docs/html/index.html ]; then
+            echo "index.html not found"
+            exit 1
+          fi
+
       - name: Upload artifact
         uses: actions/upload-pages-artifact@v3
         with:
-          path: ./docs
+          path: ./docs/html
 
   # Deployment job
   deploy: