From 7e97f85fb7a29ca186610c1c5c2b59afed8b0cae Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Sun, 25 Sep 2022 09:46:31 +0200
Subject: [PATCH] force-install tools on stale cache, to make sure we get the
 latest of all dependencies

---
 src/tools/miri/.github/workflows/ci.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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