From d5590734c9b72f7fb2296c3043f526794e1db6f3 Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Sun, 29 Jun 2025 16:49:58 +0200 Subject: [PATCH] remove duplicate clippy check --- src/tools/miri/.github/workflows/ci.yml | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) diff --git a/src/tools/miri/.github/workflows/ci.yml b/src/tools/miri/.github/workflows/ci.yml index d494ba43b85f..151d170defc0 100644 --- a/src/tools/miri/.github/workflows/ci.yml +++ b/src/tools/miri/.github/workflows/ci.yml @@ -75,13 +75,13 @@ jobs: # The main test job! We don't run this in qemu as that is quite slow, # so those targets only get the clippy check below. - - name: Test Miri + - name: test Miri if: ${{ !matrix.qemu }} run: ./ci/ci.sh # The `style` job only runs on Linux; this makes sure the host-specific # code is also covered by clippy. - - name: Check clippy + - name: clippy run: ./miri clippy -- -D warnings style: @@ -93,8 +93,6 @@ jobs: - name: rustfmt run: ./miri fmt --check - - name: clippy - run: ./miri clippy -- -D warnings - name: clippy (no features) run: ./miri clippy --no-default-features -- -D warnings - name: clippy (all features)