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 61
61
restore-keys : cargo-${{ runner.os }}-reset20240425
62
62
63
63
- name : Install tools
64
- if : ${{ steps.cache.outputs.cache-hit != 'true' }}
64
+ if : steps.cache.outputs.cache-hit != 'true'
65
65
run : cargo install -f rustup-toolchain-install-master hyperfine
66
66
67
67
- name : Install miri toolchain
81
81
# The `style` job only runs on Linux; this makes sure the Windows-host-specific
82
82
# code is also covered by clippy.
83
83
- name : Check clippy
84
- if : ${{ matrix.os == 'windows-latest' }}
84
+ if : matrix.os == 'windows-latest'
85
85
run : ./miri clippy -- -D warnings
86
86
87
87
- name : Test Miri
@@ -117,7 +117,7 @@ jobs:
117
117
restore-keys : cargo-${{ runner.os }}-reset20240331
118
118
119
119
- name : Install rustup-toolchain-install-master
120
- if : ${{ steps.cache.outputs.cache-hit != 'true' }}
120
+ if : steps.cache.outputs.cache-hit != 'true'
121
121
run : cargo install -f rustup-toolchain-install-master
122
122
123
123
- name : Install "master" toolchain
You can’t perform that action at this time.
0 commit comments