Merge branch 'main' into gr@improve-synthesis-error #723
GitHub Actions / Clippy (1.56.1)
succeeded
Sep 26, 2024 in 0s
Clippy (1.56.1)
Details
Results
| Message level | Amount |
|---|---|
| Internal compiler error | 0 |
| Error | 0 |
| Warning | 0 |
| Note | 0 |
| Help | 0 |
Versions
- rustc 1.78.0 (9b00956e5 2024-04-29)
- cargo 1.78.0 (54d8815d0 2024-03-26)
- clippy 0.1.78 (9b00956 2024-04-29)
Loading