From 2e15e3d7d53a68f78ff559709c57e4fa70584bb7 Mon Sep 17 00:00:00 2001 From: David Tolnay Date: Mon, 8 Apr 2024 11:57:46 -0700 Subject: [PATCH] Revert "Temporarily disable miri on doctests" This reverts commit 3a3f61b1c9a2dce973179fad1650f709f63bdaa5. --- .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 75cc7bfe6..e55d307dd 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 --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 + - run: cargo miri test + - run: cargo miri test --features preserve_order,float_roundtrip,arbitrary_precision,raw_value clippy: name: Clippy