cargo clippy includes cargo check (#1234)

cargo check was redundant

<!--

Please follow this protocol when creating or reviewing PRs in this
repository:

- Leave the PR as draft until review is required.
- When reviewing a PR, every reviewer should assign themselves as soon
as they
start, so that other reviewers know the PR is covered. You should not be
discouraged from reviewing a PR with assignees, but you will know it is
not
  strictly needed.
- Unless the PR is very small, help the reviewers by not making forced
pushes, so
that GitHub properly tracks what has been changed since the last review;
use
  "merge" instead of "rebase". It can be squashed after approval.
- Once the comments have been addressed, explicitly let the reviewer
know the PR
  is ready again.

-->

.github/workflows/pr-tests.yml

@@ -34,16 +34,14 @@ jobs:
           ${{ runner.os }}-cargo-pr-tests-
     - name: Install Rust toolchain 1.74 (with clippy and rustfmt)
       run: rustup toolchain install 1.74-x86_64-unknown-linux-gnu && rustup component add clippy --toolchain 1.74-x86_64-unknown-linux-gnu && rustup component add rustfmt --toolchain 1.74-x86_64-unknown-linux-gnu
-    - name: Lint
-      run: cargo clippy --all --all-targets --all-features --profile pr-tests -- -D warnings
-    - name: Lint
+    - name: Lint no default features
       run: cargo clippy --all --all-targets --no-default-features --profile pr-tests -- -D warnings
+    - name: Lint all features
+      run: cargo clippy --all --all-targets --all-features --profile pr-tests -- -D warnings
     - name: Format
       run: cargo fmt --all --check --verbose
     - name: Build
       run: cargo build --all-targets --all --all-features --profile pr-tests
-    - name: Check without Halo2
-      run: cargo check --all --no-default-features --profile pr-tests
     - uses: taiki-e/install-action@nextest
     - name: Create tests archive
       run: cargo nextest archive --archive-file tests.tar.zst --cargo-profile pr-tests --workspace --all-features