Fix deployment of creusot-contracts doc (#1298)

creusot-rs · Dec 10, 2024 · 739b2d0 · 739b2d0
2 parents 8e2fe19 + 3ab09bd
commit 739b2d0
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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]