From 3a3f61b1c9a2dce973179fad1650f709f63bdaa5 Mon Sep 17 00:00:00 2001 From: David Tolnay Date: Sun, 24 Mar 2024 19:53:11 -0700 Subject: [PATCH] Temporarily disable miri on doctests --- .github/workflows/ci.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index d9979825e..e4accd879 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -89,8 +89,8 @@ jobs: - uses: actions/checkout@v4 - uses: dtolnay/rust-toolchain@miri - run: cargo miri setup - - run: cargo miri test - - run: cargo miri test --features preserve_order,float_roundtrip,arbitrary_precision,raw_value + - run: cargo miri test --all-targets # exclude doctests https://github.com/rust-lang/miri/issues/3404 + - run: cargo miri test --features preserve_order,float_roundtrip,arbitrary_precision,raw_value --all-targets clippy: name: Clippy