diff options
| author | sodo <[email protected]> | 2024-01-02 01:37:00 +0900 |
|---|---|---|
| committer | sodo <[email protected]> | 2024-01-02 13:34:22 +0900 |
| commit | 6ee153a3e2eec284c0d9d87f31801265c0604f74 (patch) | |
| tree | 8b801cbd15f9ad5052d5942c731e75736dc9d7eb /.github/ci/test.sh | |
| parent | b7cd7952c890f585ff876c622482534e5d58d4a4 (diff) | |
| parent | 0be9b0599aaf2e425d76ec7852ff4b3535defddf (diff) | |
Merge remote-tracking branch 'origin'
Diffstat (limited to '.github/ci/test.sh')
| -rwxr-xr-x | .github/ci/test.sh | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/.github/ci/test.sh b/.github/ci/test.sh index 1ee760d31..369f6d221 100755 --- a/.github/ci/test.sh +++ b/.github/ci/test.sh | |||
| @@ -4,8 +4,9 @@ | |||
| 4 | 4 | ||
| 5 | set -euo pipefail | 5 | set -euo pipefail |
| 6 | 6 | ||
| 7 | MIRIFLAGS=-Zmiri-ignore-leaks cargo miri test --manifest-path ./embassy-executor/Cargo.toml | 7 | export RUSTUP_HOME=/ci/cache/rustup |
| 8 | MIRIFLAGS=-Zmiri-ignore-leaks cargo miri test --manifest-path ./embassy-executor/Cargo.toml --features nightly | 8 | export CARGO_HOME=/ci/cache/cargo |
| 9 | export CARGO_TARGET_DIR=/ci/cache/target | ||
| 9 | 10 | ||
| 10 | cargo test --manifest-path ./embassy-sync/Cargo.toml | 11 | cargo test --manifest-path ./embassy-sync/Cargo.toml |
| 11 | cargo test --manifest-path ./embassy-embedded-hal/Cargo.toml | 12 | cargo test --manifest-path ./embassy-embedded-hal/Cargo.toml |