Rename RefineCtxt to Cursor and Snapshot to Marker #1316
GitHub Actions / clippy
succeeded
Dec 27, 2024 in 0s
clippy
Details
Results
| Message level | Amount |
|---|---|
| Internal compiler error | 0 |
| Error | 0 |
| Warning | 0 |
| Note | 0 |
| Help | 0 |
Versions
- rustc 1.84.0-nightly (b3f75cc87 2024-11-02)
- cargo 1.84.0-nightly (031049782 2024-11-01)
- clippy 0.1.84 (b3f75cc872 2024-11-02)
Loading