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