From 9b2d8dfc6b0b2c389d6a123e3e9152e0bd4c28ea Mon Sep 17 00:00:00 2001 From: David Tolnay Date: Thu, 28 Apr 2022 20:43:03 -0700 Subject: [PATCH] Add a miri test job in CI --- .github/workflows/ci.yml | 13 +++++++++++++ 1 file changed, 13 insertions(+) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index d891819b..bfb4f15a 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -166,3 +166,16 @@ jobs: - run: cd serde_test && cargo clippy -- -Dclippy::all -Dclippy::pedantic - run: cd test_suite && cargo clippy --tests --features unstable -- -Dclippy::all -Dclippy::pedantic - run: cd test_suite/no_std && cargo clippy -- -Dclippy::all -Dclippy::pedantic + + miri: + name: Miri + runs-on: ubuntu-latest + steps: + - uses: actions/checkout@v3 + - uses: dtolnay/rust-toolchain@miri + - run: cd serde && cargo miri test --features derive,rc,unstable + env: + MIRIFLAGS: -Zmiri-tag-raw-pointers + - run: cd test_suite && cargo miri test --features unstable + env: + MIRIFLAGS: -Zmiri-tag-raw-pointers