diff options
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/clippy.yml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/.github/workflows/clippy.yml b/.github/workflows/clippy.yml index 5adfb7970a..ec021eb956 100644 --- a/.github/workflows/clippy.yml +++ b/.github/workflows/clippy.yml @@ -75,8 +75,8 @@ jobs: RUSTFLAGS: --deny warnings run: | source env.sh - time cargo clippy --locked --all-targets --no-default-features - time cargo clippy --locked --all-targets --all-features + time cargo clippy --workspace --locked --all-targets --no-default-features + time cargo clippy --workspace --locked --all-targets --all-features clippy-check-android: name: Clippy linting, Android |