diff options
| author | Johannes Stoelp <johannes.stoelp@gmail.com> | 2023-12-13 00:11:34 +0100 |
|---|---|---|
| committer | Johannes Stoelp <johannes.stoelp@gmail.com> | 2023-12-13 00:11:34 +0100 |
| commit | a4b800c239dc993f109941b99694acfb7847264f (patch) | |
| tree | a42f689d30f048d14bb47e4441a47cfbbc28339c /ci/Makefile | |
| parent | fe5064d532011bea705693594015d70c5ce2d726 (diff) | |
| download | juicebox-asm-a4b800c239dc993f109941b99694acfb7847264f.tar.gz juicebox-asm-a4b800c239dc993f109941b99694acfb7847264f.zip | |
ci: add check to run example in readme
Diffstat (limited to 'ci/Makefile')
| -rw-r--r-- | ci/Makefile | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/ci/Makefile b/ci/Makefile index 9f18c60..9a76fdc 100644 --- a/ci/Makefile +++ b/ci/Makefile @@ -1,4 +1,4 @@ -all: build build-examples check-fmt check-clippy check-tests check-examples run-examples +all: build build-examples check-fmt check-clippy check-tests check-examples check-readme run-examples build: cargo build @@ -18,6 +18,11 @@ check-tests: check-examples: cargo test --examples +check-readme: + awk '/^```rust$$/,/^```$$/ { if (!($$1 ~ "^```")) { print } }' ../README.md > ../examples/readme.rs + cargo run --example readme + rm -f ../examples/readme.rs + run-examples: cargo run --example fib cargo run --example add |