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

Update CI

Browse Source
This commit is contained in:
Pranav Gaddamadugu 2022-09-19 18:59:33 -07:00
parent 66c90e622e
commit f45a248194
1 changed files with 6 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
.circleci/test-examples.sh
View File

@ -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.