ci: push changes to pr branch #23
This check has been archived and is scheduled for deletion.
Learn more about checks retention
GitHub Actions / Clippy Output
succeeded
Sep 18, 2023 in 1s
Clippy Output
Details
Results
| Message level | Amount |
|---|---|
| Internal compiler error | 0 |
| Error | 0 |
| Warning | 0 |
| Note | 0 |
| Help | 0 |
Versions
- rustc 1.72.0 (5680fa18f 2023-08-23)
- cargo 1.72.0 (103a7ff2e 2023-08-15)
- clippy 0.1.72 (5680fa1 2023-08-23)
Loading