diff options
| author | Dario Nieuwenhuis <[email protected]> | 2023-12-14 16:30:45 +0100 |
|---|---|---|
| committer | Dario Nieuwenhuis <[email protected]> | 2023-12-14 16:30:45 +0100 |
| commit | e579095a9075c8a3efdb956877b533f47ef1ec42 (patch) | |
| tree | 3c91ef0ddae3ad4ea7fe59240dcfb2c2907261ad /.github/ci/test.sh | |
| parent | 7b9b22d7f83b44d509be31ab51fa4385d73512f6 (diff) | |
ci: fix test job not caching anything.
Diffstat (limited to '.github/ci/test.sh')
| -rwxr-xr-x | .github/ci/test.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/.github/ci/test.sh b/.github/ci/test.sh index 1ee760d31..0ec65d2a1 100755 --- a/.github/ci/test.sh +++ b/.github/ci/test.sh | |||
| @@ -4,6 +4,10 @@ | |||
| 4 | 4 | ||
| 5 | set -euo pipefail | 5 | set -euo pipefail |
| 6 | 6 | ||
| 7 | export RUSTUP_HOME=/ci/cache/rustup | ||
| 8 | export CARGO_HOME=/ci/cache/cargo | ||
| 9 | export CARGO_TARGET_DIR=/ci/cache/target | ||
| 10 | |||
| 7 | MIRIFLAGS=-Zmiri-ignore-leaks cargo miri test --manifest-path ./embassy-executor/Cargo.toml | 11 | MIRIFLAGS=-Zmiri-ignore-leaks cargo miri test --manifest-path ./embassy-executor/Cargo.toml |
| 8 | MIRIFLAGS=-Zmiri-ignore-leaks cargo miri test --manifest-path ./embassy-executor/Cargo.toml --features nightly | 12 | MIRIFLAGS=-Zmiri-ignore-leaks cargo miri test --manifest-path ./embassy-executor/Cargo.toml --features nightly |
| 9 | 13 | ||