diff --git a/src/tools/miri/.github/workflows/ci.yml b/src/tools/miri/.github/workflows/ci.yml
index c05352f23d67..b62625802f5a 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