Merge branch 'main' into simon/subgroup-check #381
GitHub Actions / Clippy (MSRV)
succeeded
Aug 11, 2023 in 1s
Clippy (MSRV)
Details
Results
| Message level | Amount |
|---|---|
| Internal compiler error | 0 |
| Error | 0 |
| Warning | 0 |
| Note | 0 |
| Help | 0 |
Versions
- rustc 1.65.0 (897e37553 2022-11-02)
- cargo 1.65.0 (4bc8f24d3 2022-10-20)
- clippy 0.1.65 (897e375 2022-11-02)
Loading