Wrong command for installing MIRI

mvdnes · Oct 17, 2022 · d69c844 · d69c844
1 parent bba762b
commit d69c844
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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