diff options
Diffstat (limited to 'ci')
| -rw-r--r-- | ci/script.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/ci/script.sh b/ci/script.sh index a6485cf7..1b3d5615 100644 --- a/ci/script.sh +++ b/ci/script.sh @@ -43,7 +43,7 @@ main() { cargo test --test multi --features heterogeneous --target $T # multi-core compile-pass tests - pushd mc + pushd heterogeneous local exs=( smallest x-init-2 @@ -91,6 +91,8 @@ main() { cargo check --target $T --examples --features __v7 fi + cargo check -p homogeneous --target $T --examples + # run-pass tests case $T in thumbv6m-none-eabi | thumbv7m-none-eabi) |