force-install tools on stale cache, to make sure we get the latest of all dependencies

diff --git a/src/tools/miri/.github/workflows/ci.yml b/src/tools/miri/.github/workflows/ci.yml
index c05352f23d67fec091c7236191b8afc087114776..b62625802f5a83c16ad5ea50c051357dcae3a155 100644 (file)
--- 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