diff options
| author | Ralf Jung <post@ralfj.de> | 2025-06-29 16:49:58 +0200 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2025-06-29 22:40:16 +0200 |
| commit | d5590734c9b72f7fb2296c3043f526794e1db6f3 (patch) | |
| tree | ccd8974f67ea788dbbb3c4db3b46121a5a3a840f /src/tools | |
| parent | e788b3c79ec839593d37d770709829efedc500ff (diff) | |
| download | rust-d5590734c9b72f7fb2296c3043f526794e1db6f3.tar.gz rust-d5590734c9b72f7fb2296c3043f526794e1db6f3.zip | |
remove duplicate clippy check
Diffstat (limited to 'src/tools')
| -rw-r--r-- | src/tools/miri/.github/workflows/ci.yml | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/src/tools/miri/.github/workflows/ci.yml b/src/tools/miri/.github/workflows/ci.yml index d494ba43b85..151d170defc 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) |