aboutsummaryrefslogtreecommitdiffhomepage
path: root/ci
diff options
context:
space:
mode:
authorJohannes Stoelp <johannes.stoelp@gmail.com>2023-12-08 00:57:29 +0100
committerJohannes Stoelp <johannes.stoelp@gmail.com>2023-12-08 00:57:29 +0100
commit2121277d608f118b2a601183d555ad89be4780e1 (patch)
tree4d4de3815599fd8ee81246c172b70273c3eb5b30 /ci
parentb5aea3fb5fcce31599e3d7397d5413a934132231 (diff)
downloadjuicebox-asm-2121277d608f118b2a601183d555ad89be4780e1.tar.gz
juicebox-asm-2121277d608f118b2a601183d555ad89be4780e1.zip
ci: fix gh action; add run examples
Diffstat (limited to 'ci')
-rw-r--r--ci/Makefile8
1 files changed, 7 insertions, 1 deletions
diff --git a/ci/Makefile b/ci/Makefile
index 69d6c97..9f18c60 100644
--- a/ci/Makefile
+++ b/ci/Makefile
@@ -1,4 +1,4 @@
-all: build build-examples check-fmt check-clippy check-tests check-examples
+all: build build-examples check-fmt check-clippy check-tests check-examples run-examples
build:
cargo build
@@ -17,3 +17,9 @@ check-tests:
check-examples:
cargo test --examples
+
+run-examples:
+ cargo run --example fib
+ cargo run --example add
+ cargo run --example tiny_vm
+ cargo run --example tiny_vm jit