diff --git a/.github/workflows/pr-tests.yml b/.github/workflows/pr-tests.yml
index bac208dbd..fc337704c 100644
--- a/.github/workflows/pr-tests.yml
+++ b/.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