Skip to content

Commit c9b350a

Browse files
committed
Auto merge of rust-lang#3542 - RalfJung:clippy-win, r=RalfJung
run clippy on a Windows host Fixes rust-lang/miri#3324
2 parents 45c1a6c + 413bac5 commit c9b350a

File tree

1 file changed

+6
-0
lines changed
  • src/tools/miri/.github/workflows

1 file changed

+6
-0
lines changed

src/tools/miri/.github/workflows/ci.yml

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -78,6 +78,12 @@ jobs:
7878
rustc -Vv
7979
cargo -V
8080
81+
# 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+
8187
- name: Test Miri
8288
run: ./ci/ci.sh
8389

0 commit comments

Comments
 (0)