Merge commit 'f712eb5cdc' into clippy-subtree-update

.github/workflows/clippy.yml

@@ -1,75 +0,0 @@
-name: Clippy Test
-
-on:
-  push:
-    # Ignore bors branches, since they are covered by `clippy_bors.yml`
-    branches-ignore:
-      - auto
-      - try
-    # Don't run Clippy tests, when only text files were modified
-    paths-ignore:
-    - 'COPYRIGHT'
-    - 'LICENSE-*'
-    - '**.md'
-    - '**.txt'
-  pull_request:
-    # Don't run Clippy tests, when only text files were modified
-    paths-ignore:
-    - 'COPYRIGHT'
-    - 'LICENSE-*'
-    - '**.md'
-    - '**.txt'
-
-env:
-  RUST_BACKTRACE: 1
-  CARGO_TARGET_DIR: '${{ github.workspace }}/target'
-  NO_FMT_TEST: 1
-  CARGO_INCREMENTAL: 0
-  RUSTFLAGS: -D warnings
-
-concurrency:
-  # For a given workflow, if we push to the same PR, cancel all previous builds on that PR.
-  # If the push is not attached to a PR, we will cancel all builds on the same branch.
-  group: "${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}"
-  cancel-in-progress: true
-
-jobs:
-  base:
-    # NOTE: If you modify this job, make sure you copy the changes to clippy_bors.yml
-    runs-on: ubuntu-latest
-
-    steps:
-    # Setup
-    - name: Checkout
-      uses: actions/checkout@v4
-
-    - name: Install toolchain
-      run: rustup show active-toolchain
-
-    # Run
-    - name: Build
-      run: cargo build --tests --features internal
-
-    - name: Test
-      run: cargo test --features internal
-
-    - name: Test clippy_lints
-      run: cargo test --features internal
-      working-directory: clippy_lints
-
-    - name: Test clippy_utils
-      run: cargo test
-      working-directory: clippy_utils
-
-    - name: Test rustc_tools_util
-      run: cargo test
-      working-directory: rustc_tools_util
-
-    - name: Test clippy_dev
-      run: cargo test
-      working-directory: clippy_dev
-
-    - name: Test clippy-driver
-      run: .github/driver.sh
-      env:
-        OS: ${{ runner.os }}