run clippy on a Windows host

2026-05-17 05:25:37 +03:00 · 2024-05-03 19:36:33 +02:00
parent 5ce8532c26
commit 03589bfe98
1 changed files with 6 additions and 0 deletions
@@ -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