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

patch leo-clean ci

Browse Source
This commit is contained in:
collin 2022-08-05 11:30:53 -07:00
parent 8f9c7efbed
commit 7ffbee2952
1 changed files with 9 additions and 24 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

33
.circleci/leo-clean.sh
View File

@ -1,38 +1,23 @@
# Create a new Leo program named `foo` and run `leo build`.
# Create a new Leo program named `foo`.
$LEO new foo
ls -la
cd foo && ls -la
# Run `leo build`.
$LEO build
# Assert that the 'outputs' folder is not empty
cd outputs || exit 1
if [ "$(ls -A $DIR)" ]; then
echo "$DIR is not empty"
# Assert that the 'build' folder exists.
if [ "$(ls -A build)" ]; then
echo "build is not empty"
else
echo "$DIR is empty"
echo "build is empty"
exit 1
fi
cd ..
# leo clean
# Run `leo clean`
$LEO clean
cd outputs && ls -la
cd ..
# Assert that the 'outputs' folder is empty
if [ "$(ls -A outputs)" ]; then
echo "outputs is not empty"
exit 1
else
echo "outputs is empty"
fi
# Assert that the 'build' folder is empty
# Assert that the 'build' folder is empty.
if [ "$(ls -A build)" ]; then
echo "build is not empty"
exit 1