Skip to content

Commit b51c38f

Browse files
authored
Merge branch 'main' into fix/parse-json-path
2 parents e7385db + dceb7ce commit b51c38f

File tree

2 files changed

+5
-1
lines changed

2 files changed

+5
-1
lines changed

Makefile

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -62,6 +62,10 @@ build-native:
6262
unit-test:
6363
ulimit -n 10000;ulimit -s 16384; RUST_LOG="ERROR" bash ./scripts/ci/ci-run-unit-tests.sh
6464

65+
miri:
66+
cargo miri setup
67+
MIRIFLAGS="-Zmiri-disable-isolation" cargo miri test --no-default-features
68+
6569
embedded-meta-test: build
6670
rm -rf ./_meta_embedded*
6771
bash ./scripts/ci/ci-run-tests-embedded-meta.sh

scripts/setup/rust-toolchain.toml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,3 @@
11
[toolchain]
22
channel = "nightly-2022-11-14"
3-
components = ["rustfmt", "clippy", "rust-src"]
3+
components = ["rustfmt", "clippy", "rust-src", "miri"]

0 commit comments

Comments
 (0)