Merge branch 'master' into luca_joss/update-ci-gaia-to-v17
GitHub Actions / clippy-all-features
succeeded
Jun 10, 2024 in 1s
clippy-all-features
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