Merge pull request #43 from robohouse-delft/fix-ci #185
GitHub Actions / clippy
succeeded
Mar 30, 2024 in 1s
clippy
Details
Results
| Message level | Amount |
|---|---|
| Internal compiler error | 0 |
| Error | 0 |
| Warning | 0 |
| Note | 0 |
| Help | 0 |
Versions
- rustc 1.77.0 (aedd173a2 2024-03-17)
- cargo 1.77.0 (3fe68eabf 2024-02-29)
- clippy 0.1.77 (aedd173 2024-03-17)
Loading