diff --git a/.github/workflows/rust.yml b/.github/workflows/rust.yml index dee1d51..f346770 100644 --- a/.github/workflows/rust.yml +++ b/.github/workflows/rust.yml @@ -38,7 +38,7 @@ jobs: steps: - uses: actions/checkout@v2 - name: Install Rust - run: rustup update nightly --component miri && rustup default nightly + run: rustup toolchain install nightly --component miri && rustup default nightly - run: cargo miri test env: MIRIFLAGS: -Zmiri-strict-provenance -Zmiri-symbolic-alignment-check -Zmiri-disable-isolation