Fix move prover CI

nitingujarathi · Mar 28, 2023 · 9b507fc · 9b507fc
1 parent 7f6491c
commit 9b507fc
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/rust.yml b/.github/workflows/rust.yml
@@ -286,8 +286,8 @@ jobs:
           export Z3_EXE="${BIN_DIR}/z3"
           export CVC5_EXE="${BIN_DIR}/cvc5"
           export BOOGIE_EXE="${DOTNET_ROOT}/tools/boogie"
-          /home/runner/.cargo/bin/cargo run -p sui -- move prove -p sui-framework
-          /home/runner/.cargo/bin/cargo run -p sui -- move prove -p sui-system
+          ../../../target/debug/sui move prove -p sui-framework
+          ../../../target/debug/sui move prove -p sui-system
 
   indexer:
     name: indexer