Closed teor2345 closed 3 months ago
Clippy needs extra permissions to post annotations and checks on PRs and commits.
To avoid overwriting other clippy runs, each run also needs a different name.
Clippy needs extra permissions to post annotations and checks on PRs and commits.
To avoid overwriting other clippy runs, each run also needs a different name.