Merge branch 'main' into release/0.7.1 #43
GitHub Actions / clippy
succeeded
May 1, 2023 in 0s
clippy
Details
Results
| Message level | Amount |
|---|---|
| Internal compiler error | 0 |
| Error | 0 |
| Warning | 0 |
| Note | 0 |
| Help | 0 |
Versions
- rustc 1.69.0 (84c898d65 2023-04-16)
- cargo 1.69.0 (6e9a83356 2023-04-12)
- clippy 0.1.69 (84c898d 2023-04-16)