diff options
| -rw-r--r-- | src/tools/miri/.github/workflows/ci.yml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/tools/miri/.github/workflows/ci.yml b/src/tools/miri/.github/workflows/ci.yml index c05352f23d6..b62625802f5 100644 --- a/src/tools/miri/.github/workflows/ci.yml +++ b/src/tools/miri/.github/workflows/ci.yml @@ -64,8 +64,8 @@ jobs: if: ${{ steps.cache.outputs.cache-hit == 'false' }} shell: bash run: | - cargo install rustup-toolchain-install-master - cargo install xargo + cargo install -f rustup-toolchain-install-master + cargo install -f xargo - name: Install "master" toolchain shell: bash |