leo run helloworld in circleci

.circleci/config.yml

@@ -163,6 +163,19 @@ jobs:
             export LEO=/home/circleci/project/project/bin/leo
             ./project/.circleci/leo-clean.sh
 
+  test-helloworld:
+    docker:
+      - image: cimg/rust:1.62
+    resource_class: xlarge
+    steps:
+      - attach_workspace:
+        at: /home/circleci/project/
+      - run:
+          name: test helloworld
+          command: |
+            export LEO=/home/circleci/project/project/bin/leo
+            ./project/.circleci/test-helloworld.sh
+
 workflows:
   version: 2
   main-workflow:

.circleci/leo-new.sh

@@ -3,5 +3,5 @@ $LEO new foo
 ls -la
 cd foo && ls -la
 
-# Try to run `leo build`.
+# Try to run `leo run`.
 $LEO run

.circleci/test-helloworld.sh

@@ -0,0 +1,5 @@
+# Build and run the helloworld Leo program.
+cd ./project/examples/helloworld
+
+# Run `leo run`.
+$LEO run

examples/helloworld/imports/foo.leo

@@ -1,8 +0,0 @@
-circuit Foo {
-    x: u64,
-    y: u64,
-}
-
-function bar(x: u64, y: u64) -> Foo {
-    return Foo {x, y};
-}

examples/helloworld/inputs/helloworld.in

@@ -2,6 +2,3 @@
 [main]
 public a: u32 = 1u32;
 b: u32 = 2u32; // Input variable `b` is private by default.
-
-[foo]
-x: u64 = 5u64;

examples/helloworld/src/main.leo

@@ -1,5 +1,3 @@
-import foo.leo;
-
 // The 'helloworld' main function.
 
 function main(public a: u32, b: u32) -> u32 {