Merge pull request #2574 from o1-labs/volhovm/unify-versions #8107
GitHub Actions / Clippy (beta)
succeeded
Sep 19, 2024 in 0s
Clippy (beta)
Details
Results
| Message level | Amount |
|---|---|
| Internal compiler error | 0 |
| Error | 0 |
| Warning | 0 |
| Note | 0 |
| Help | 0 |
Versions
- rustc 1.72.1 (d5c2e9c34 2023-09-13)
- cargo 1.72.1 (103a7ff2e 2023-08-15)
- clippy 0.1.72 (d5c2e9c 2023-09-13)
Loading