fix: install cmd

succinctlabs · Jan 24, 2024 · b3d2102 · b3d2102
1 parent 0506b04
commit b3d2102
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
@@ -43,7 +43,7 @@ jobs:
           token: ${{ secrets.PRIVATE_PULL_TOKEN }}
 
       - name: Install cargo prove
-        run: cargo install --path vm/cargo-prove
+        run: cargo install --locked --path .
         working-directory: vm/core
 
       - name: Build toolchain