We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent ccb3328 commit 2039e7cCopy full SHA for 2039e7c
src/tools/miri/.github/workflows/ci.yml
@@ -198,10 +198,7 @@ jobs:
198
- name: get changes from rustc
199
run: ./miri rustc-pull
200
- name: Install rustup-toolchain-install-master
201
- if: ${{ steps.cache.outputs.cache-hit != 'true' }}
202
- shell: bash
203
- run: |
204
- cargo install -f rustup-toolchain-install-master
+ run: cargo install -f rustup-toolchain-install-master
205
- name: format changes (if any)
206
run: |
207
./miri toolchain
0 commit comments