Merge pull request #54 from metaborg/workspace-package-management #418
GitHub Actions / clippy
succeeded
Jun 6, 2024 in 1s
clippy
Details
Results
| Message level | Amount |
|---|---|
| Internal compiler error | 0 |
| Error | 0 |
| Warning | 0 |
| Note | 0 |
| Help | 0 |
Versions
- rustc 1.80.0-nightly (72fdf913c 2024-06-05)
- cargo 1.80.0-nightly (34a6a87d8 2024-06-04)
- clippy 0.1.80 (72fdf91 2024-06-05)
Loading