ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-12-23 10:12:21 +03:00
Code Issues Packages Projects Releases Wiki Activity

fix program names

Browse Source
This commit is contained in:
collin 2022-08-05 11:14:58 -07:00
parent 19f51875b9
commit 8f9c7efbed
2 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
.circleci/leo-clean.sh
View File

@ -1,8 +1,8 @@
# leo new hello-world
# Create a new Leo program named `foo` and run `leo build`.
$LEO new hello-world
$LEO new foo
ls -la
cd hello-world && ls -la
cd foo && ls -la
$LEO build
# Assert that the 'outputs' folder is not empty

4
.circleci/leo-new.sh
View File

@ -1,7 +1,7 @@
# Create a new foo project.
# Create a new Leo program named `foo`.
$LEO new foo
ls -la
cd foo && ls -la
# Try to compile and run the template project.
# Try to run `leo build`.
$LEO run