From a9f4b327a4605658cafb6068bbeaa5223790f7ff Mon Sep 17 00:00:00 2001 From: Sachymetsu Date: Sat, 13 Dec 2025 12:13:18 +0100 Subject: [PATCH] chore: Add Miri tests Change-Id: qormzskuvlxspsqpqrquuyoumqqmorsu --- .tangled/workflows/miri.yml | 21 +++++++++++++++++++++ 1 file changed, 21 insertions(+) create mode 100644 .tangled/workflows/miri.yml diff --git a/.tangled/workflows/miri.yml b/.tangled/workflows/miri.yml new file mode 100644 index 0000000..72e19b3 --- /dev/null +++ b/.tangled/workflows/miri.yml @@ -0,0 +1,21 @@ +when: + - event: ["push", "pull_request"] + branch: main + +engine: nixery + +dependencies: + nixpkgs: + - clang + - rustup + +steps: + - name: Install Nightly + command: | + rustup toolchain install nightly --component miri + rustup override set nightly + cargo miri setup + - name: Miri Test + command: cargo miri test --locked -p nailkov -p nailbox + environment: + RUSTFLAGS: -Zrandomize-layout -- 2.52.0