2023-12-21 13:57:49 +00:00
|
|
|
#!/bin/bash
|
|
|
|
|
## on push branch~=gh-readonly-queue/main/.*
|
|
|
|
|
## on pull_request
|
|
|
|
|
|
|
|
|
|
set -euo pipefail
|
|
|
|
|
|
|
|
|
|
export RUSTUP_HOME=/ci/cache/rustup
|
|
|
|
|
export CARGO_HOME=/ci/cache/cargo
|
|
|
|
|
export CARGO_TARGET_DIR=/ci/cache/target
|
|
|
|
|
mv rust-toolchain-nightly.toml rust-toolchain.toml
|
|
|
|
|
|
|
|
|
|
MIRIFLAGS=-Zmiri-ignore-leaks cargo miri test --manifest-path ./embassy-executor/Cargo.toml
|
|
|
|
|
MIRIFLAGS=-Zmiri-ignore-leaks cargo miri test --manifest-path ./embassy-executor/Cargo.toml --features nightly
|
2024-04-14 22:52:42 +00:00
|
|
|
MIRIFLAGS=-Zmiri-ignore-leaks cargo miri test --manifest-path ./embassy-sync/Cargo.toml
|
