aboutsummaryrefslogtreecommitdiffhomepage
path: root/ci
diff options
context:
space:
mode:
authorJohannes Stoelp <johannes.stoelp@gmail.com>2024-12-08 23:48:15 +0100
committerJohannes Stoelp <johannes.stoelp@gmail.com>2024-12-08 23:48:15 +0100
commit5f90bf71ab2d347fbe2d0dc89b71ab5d6e923b46 (patch)
tree6a9fba82b5a54a0f775e6bc46fd71108fa1392e1 /ci
parent73c7330d554cf1e9147de4f7bc03417a18c7c34a (diff)
downloadjuicebox-asm-5f90bf71ab2d347fbe2d0dc89b71ab5d6e923b46.tar.gz
juicebox-asm-5f90bf71ab2d347fbe2d0dc89b71ab5d6e923b46.zip
bf: rename file and add to ci
Diffstat (limited to 'ci')
-rw-r--r--ci/Makefile1
1 files changed, 1 insertions, 0 deletions
diff --git a/ci/Makefile b/ci/Makefile
index 9a76fdc..b433ed2 100644
--- a/ci/Makefile
+++ b/ci/Makefile
@@ -28,3 +28,4 @@ run-examples:
cargo run --example add
cargo run --example tiny_vm
cargo run --example tiny_vm jit
+ cargo run --example bf