Merge pull request #2094 from AleoHQ/fix/leo-new

Update leo-new CI
This commit is contained in:
Collin Chin 2022-09-23 10:55:55 -07:00 committed by GitHub
commit d07973c799
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1,15 +1,25 @@
# Create a new Leo program named `foo`.
$LEO new foo
ls -la
cd foo && ls -la
# Try to run `leo build`.
(
$LEO build || exit
)
echo "
Step 4: Downloading parameters. This may take a few minutes..."
# Create a new dummy Leo project.
$LEO new dummy > /dev/null 2>&1 && cd dummy
# Attempt to compile the dummy program until it passes.
# This is necessary to ensure that the universal parameters are downloaded.
declare -i DONE
DONE=1
while [ $DONE -ne 0 ]
do
$LEO build > /dev/null 2>&1
DONE=$?
sleep 0.5
done
# Try to run `leo run`.
(
$LEO run || exit
)
$LEO run || exit
# Remove the dummy program.
cd .. && rm -rf dummy