install cli, not core

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