Update examples CI script

ProvableHQ · Nov 19, 2024 · 82585fa · 82585fa
1 parent 2bf7bfa
commit 82585fa
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 1 deletion.
diff --git a/.circleci/config.yml b/.circleci/config.yml
@@ -228,7 +228,7 @@ jobs:
       - run:
           name: Build and install Leo
           no_output_timeout: 30m
-          command: cargo install --path . --locked
+          command: cargo install --path . --root . --locked
       - persist_to_workspace:
           root: ~/
           paths:

diff --git a/.circleci/leo-example.sh b/.circleci/leo-example.sh
@@ -1,3 +1,9 @@
+# Alias the leo command to use the local binary.
+# Note: Use a full path for $LEO when running locally.
+leo() {
+  $LEO "$@"
+}
+
 (
   # Create a new Leo lottery example program.
   $LEO example lottery || exit