Auto merge of rust-lang#3542 - RalfJung:clippy-win, r=RalfJung

run clippy on a Windows host Fixes rust-lang/miri#3324
RalfJung · May 3, 2024 · 8a31014 · 8a31014
2 parents 5ce8532 + 03589bf
commit 8a31014
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/src/tools/miri/.github/workflows/ci.yml b/src/tools/miri/.github/workflows/ci.yml
@@ -78,6 +78,12 @@ jobs:
           rustc -Vv
           cargo -V
 
+      # The `style` job only runs on Linux; this makes sure the Windows-host-specific
+      # code is also covered by clippy.
+      - name: Check clippy
+        if: ${{ matrix.os == 'windows-latest' }}
+        run: ./miri clippy -- -D warnings
+
       - name: Test Miri
         run: ./ci/ci.sh