new lint: unnecessary_path_exists #8341
davidh167clippy_pr.yml
on: pull_request
base
3m 1s
conclusion
3s
Annotations
2 errors
|
base
Process completed with exit code 101.
|
|
conclusion
Process completed with exit code 1.
|