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.