diff options
Diffstat (limited to '.github/workflows/clippy.yaml')
| -rw-r--r-- | .github/workflows/clippy.yaml | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/.github/workflows/clippy.yaml b/.github/workflows/clippy.yaml index 48b1bd6..cb35d14 100644 --- a/.github/workflows/clippy.yaml +++ b/.github/workflows/clippy.yaml @@ -11,6 +11,10 @@ jobs: clippy: runs-on: ubuntu-latest + permissions: + contents: read + security-events: write + steps: - uses: actions/checkout@v4 - uses: DeterminateSystems/nix-installer-action@main @@ -23,6 +27,7 @@ jobs: - name: run clippy run: | + mkdir -p /tmp cargo clippy --all --all-targets --message-format=json | clippy-sarif > /tmp/clippy.sarif - name: upload results |