Skip to content

Commit 7e97f85

Browse files
committed
force-install tools on stale cache, to make sure we get the latest of all dependencies
1 parent 1f53be1 commit 7e97f85

File tree

1 file changed

+2
-2
lines changed
  • src/tools/miri/.github/workflows

1 file changed

+2
-2
lines changed

src/tools/miri/.github/workflows/ci.yml

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -64,8 +64,8 @@ jobs:
6464
if: ${{ steps.cache.outputs.cache-hit == 'false' }}
6565
shell: bash
6666
run: |
67-
cargo install rustup-toolchain-install-master
68-
cargo install xargo
67+
cargo install -f rustup-toolchain-install-master
68+
cargo install -f xargo
6969
7070
- name: Install "master" toolchain
7171
shell: bash

0 commit comments

Comments
 (0)