File tree Expand file tree Collapse file tree 1 file changed +3
-3
lines changed
src/tools/miri/.github/workflows Expand file tree Collapse file tree 1 file changed +3
-3
lines changed Original file line number Diff line number Diff line change 6161 restore-keys : cargo-${{ runner.os }}-reset20240425
6262
6363 - name : Install tools
64- if : ${{ steps.cache.outputs.cache-hit != 'true' }}
64+ if : steps.cache.outputs.cache-hit != 'true'
6565 run : cargo install -f rustup-toolchain-install-master hyperfine
6666
6767 - name : Install miri toolchain
8181 # The `style` job only runs on Linux; this makes sure the Windows-host-specific
8282 # code is also covered by clippy.
8383 - name : Check clippy
84- if : ${{ matrix.os == 'windows-latest' }}
84+ if : matrix.os == 'windows-latest'
8585 run : ./miri clippy -- -D warnings
8686
8787 - name : Test Miri
@@ -117,7 +117,7 @@ jobs:
117117 restore-keys : cargo-${{ runner.os }}-reset20240331
118118
119119 - name : Install rustup-toolchain-install-master
120- if : ${{ steps.cache.outputs.cache-hit != 'true' }}
120+ if : steps.cache.outputs.cache-hit != 'true'
121121 run : cargo install -f rustup-toolchain-install-master
122122
123123 - name : Install "master" toolchain
You can’t perform that action at this time.
0 commit comments