chore(ci): Catch clippy config failures

2026-10-17 09:35:11 +02:00 · 2023-05-18 14:58:59 -05:00
parent 80d4cdd688
commit 2b6bb28cd1
1 changed files with 2 additions and 0 deletions
@@ -126,3 +126,5 @@ jobs:
      with:
        sarif_file: clippy-results.sarif
        wait-for-processing: true
+    - name: Report status
+      run: cargo clippy --workspace --all-features --all-targets -- -D warnings --allow deprecated