fully lint only explicitly to avoid unnecessary rebuilds (#6753)

* fully lint only explicitly to avoid unnecessary rebuilds
This commit is contained in:
Daniel Knopik
2025-01-03 20:27:21 +01:00
committed by GitHub
parent 7e0cddef32
commit f51a292f77
2 changed files with 6 additions and 2 deletions

View File

@@ -350,7 +350,7 @@ jobs:
- name: Check formatting with cargo fmt
run: make cargo-fmt
- name: Lint code for quality and style with Clippy
run: make lint
run: make lint-full
- name: Certify Cargo.lock freshness
run: git diff --exit-code Cargo.lock
- name: Typecheck benchmark code without running it