diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml
index f1b4f7bf01..6c0ab31a8b 100644
--- a/.github/workflows/deploy.yml
+++ b/.github/workflows/deploy.yml
@@ -49,13 +49,13 @@ jobs:
         mkdir -p ~/.config/creusot
         cp ci/creusot-config-dummy.toml ~/.config/creusot/Config.toml
     - name: Build doc
-      run: cargo run -p cargo-creusot --release -- creusot doc -- -p creusot-contracts --no-deps
+      run: cargo run -p cargo-creusot --release -- creusot doc -- -p creusot-contracts --no-deps --target-dir ci/build-docs/
     - name: Upload creusot_contracts artifact
       uses: actions/upload-artifact@v4
       with:
         name: creusot_contracts
         path: |
-          target/doc/
+          ci/build-docs/doc/
   
   deploy:
     needs: [build-guide, build-docs]