aboutsummaryrefslogtreecommitdiffhomepage
path: root/.github/workflows
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 /.github/workflows
parentb5aea3fb5fcce31599e3d7397d5413a934132231 (diff)
downloadjuicebox-asm-2121277d608f118b2a601183d555ad89be4780e1.tar.gz
juicebox-asm-2121277d608f118b2a601183d555ad89be4780e1.zip
ci: fix gh action; add run examples
Diffstat (limited to '.github/workflows')
-rw-r--r--.github/workflows/tests.yml5
1 files changed, 4 insertions, 1 deletions
diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml
index bdd74ed..38df357 100644
--- a/.github/workflows/tests.yml
+++ b/.github/workflows/tests.yml
@@ -28,7 +28,10 @@ jobs:
run: make -C ci check-clippy
- name: Run tests
- run: make -C ci check-test
+ run: make -C ci check-tests
- name: Run example tests
run: make -C ci check-examples
+
+ - name: Run examples
+ run: make -C ci run-examples