diff options
| -rw-r--r-- | .github/workflows/tests.yml | 5 | ||||
| -rw-r--r-- | ci/Makefile | 8 |
2 files changed, 11 insertions, 2 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 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 |