From 03589bfe98dd2baa44557f4e432218db0479cd6d Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Fri, 3 May 2024 19:36:33 +0200
Subject: [PATCH] run clippy on a Windows host

---
 src/tools/miri/.github/workflows/ci.yml | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/src/tools/miri/.github/workflows/ci.yml b/src/tools/miri/.github/workflows/ci.yml
index 3f714fc9320..3d7ec210dac 100644
--- 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