From 52a9c050f5dcc0dc3de4825b131b8ff05219cc82 Mon Sep 17 00:00:00 2001 From: David Tolnay Date: Thu, 28 Apr 2022 19:38:27 -0700 Subject: [PATCH] Pull miri from miri branch of dtolnay/rust-toolchain --- .github/workflows/ci.yml | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 0fd4bae..b7ecec8 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -71,9 +71,7 @@ jobs: MIRIFLAGS: -Zmiri-tag-raw-pointers steps: - uses: actions/checkout@v3 - - uses: dtolnay/rust-toolchain@nightly - with: - components: miri + - uses: dtolnay/rust-toolchain@miri - run: cargo miri test - run: cargo miri test --features preserve_order,float_roundtrip,arbitrary_precision,raw_value