From 9bd35471ed2678462134f9d320327721273e2a18 Mon Sep 17 00:00:00 2001
From: John Guibas <john@succinct.xyz>
Date: Tue, 23 Jan 2024 17:29:24 -0800
Subject: [PATCH] install cli, not core

---
 .github/workflows/release.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
index 214994afe9cb..676f2af32f61 100644
--- 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