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