diff options
| author | Ralf Jung <post@ralfj.de> | 2022-09-25 09:46:31 +0200 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2022-09-25 09:47:20 +0200 |
| commit | 7e97f85fb7a29ca186610c1c5c2b59afed8b0cae (patch) | |
| tree | caa2866c1a6b88e3b5fb4c490f1d094d2a94907f | |
| parent | 1f53be15e1413e8f1a03578ded0c3045e893fc6c (diff) | |
| download | rust-7e97f85fb7a29ca186610c1c5c2b59afed8b0cae.tar.gz rust-7e97f85fb7a29ca186610c1c5c2b59afed8b0cae.zip | |
force-install tools on stale cache, to make sure we get the latest of all dependencies
| -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 |