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

add two-adicity example to circleci

Browse Source
This commit is contained in:
collin 2022-08-09 16:05:28 -07:00
parent 87cbd39a66
commit f5d504ed8d
1 changed files with 6 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
.circleci/test-examples.sh
View File

@ -43,4 +43,10 @@
# Run the transfer program.
$LEO run transfer
)
# Build and run the two-adicity program.
(
cd ./project/examples/twoadicity || exit
$LEO run main
)