You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardexpand all lines: src/tools/miri/.github/workflows/ci.yml
+10-4
Original file line number
Diff line number
Diff line change
@@ -45,7 +45,7 @@ jobs:
45
45
# over time).
46
46
- name: Add cache for cargo
47
47
id: cache
48
-
uses: actions/cache@v3
48
+
uses: actions/cache@v4
49
49
with:
50
50
path: |
51
51
# Taken from <https://doc.rust-lang.org/nightly/cargo/guide/cargo-home.html#caching-the-cargo-home-in-ci>.
# The `style` job only runs on Linux; this makes sure the Windows-host-specific
82
+
# code is also covered by clippy.
83
+
- name: Check clippy
84
+
if: matrix.os == 'windows-latest'
85
+
run: ./miri clippy -- -D warnings
86
+
81
87
- name: Test Miri
82
88
run: ./ci/ci.sh
83
89
@@ -95,7 +101,7 @@ jobs:
95
101
# over time).
96
102
- name: Add cache for cargo
97
103
id: cache
98
-
uses: actions/cache@v3
104
+
uses: actions/cache@v4
99
105
with:
100
106
path: |
101
107
# Taken from <https://doc.rust-lang.org/nightly/cargo/guide/cargo-home.html#caching-the-cargo-home-in-ci>.
0 commit comments