user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

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

Browse source
This commit is contained in:
Ralf Jung 2022-09-25 09:46:31 +02:00
parent 1f53be15e1
commit 7e97f85fb7
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/tools/miri/.github/workflows/ci.yml vendored
View file

@ -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