This repository has been archived by the owner on Oct 31, 2024. It is now read-only.
Merge branch 'main' into dp-no-side-effects-in-getters #196
GitHub Actions / Clippy
succeeded
Mar 28, 2024 in 0s
Clippy
Details
Results
| Message level | Amount |
|---|---|
| Internal compiler error | 0 |
| Error | 0 |
| Warning | 0 |
| Note | 0 |
| Help | 0 |
Versions
- rustc 1.79.0-nightly (c9f8f3438 2024-03-27)
- cargo 1.79.0-nightly (499a61ce7 2024-03-26)
- clippy 0.1.79 (c9f8f34 2024-03-27)
Loading