From f45a24819492929612f3e0353f922fcdb3ebd15f Mon Sep 17 00:00:00 2001
From: Pranav Gaddamadugu <pranav@aleo.org>
Date: Mon, 19 Sep 2022 18:59:33 -0700
Subject: [PATCH] Update CI

---
 .circleci/test-examples.sh | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/.circleci/test-examples.sh b/.circleci/test-examples.sh
index b47326ff35..dae5569cbe 100755
--- a/.circleci/test-examples.sh
+++ b/.circleci/test-examples.sh
@@ -1,7 +1,12 @@
 # Build and run the auction Leo program.
 (
   cd ./project/examples/auction || exit
-  $LEO run main
+  $LEO run place_bid
+  $LEO run resolve
+  $LEO run finish
+
+  chmod +x ./run.sh
+  ./run.sh
 )
 
 # Build and run the bubblesort Leo program.