Release version of clippy? (#7107)

Release Notes:

- N/A
This commit is contained in:
Conrad Irwin 2024-01-30 13:29:39 -07:00 committed by GitHub
parent 3075e58729
commit 7f66e366b4
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -14,7 +14,7 @@ runs:
# so specify those here, and disable the rest until Zed's workspace
# will have more fixes & suppression for the standard lint set
run: |
cargo clippy --workspace --all-features --all-targets -- -A clippy::all -D clippy::dbg_macro -D clippy::todo
cargo clippy --release --workspace --all-features --all-targets -- -A clippy::all -D clippy::dbg_macro -D clippy::todo
cargo clippy -p gpui
- name: Find modified migrations