New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

rename: fix renaming toplevel names #1260

Merged

zsol merged 1 commit into main from pr1260

Dec 11, 2024

Merged

rename: fix renaming toplevel names #1260

rename: fix renaming toplevel names

GitHub Actions / clippy succeeded Dec 11, 2024 in 1s

clippy

Details

Results

Message level	Amount
Internal compiler error	0
Error	0
Warning	0
Note	0
Help	0

Versions

rustc 1.83.0 (90b35a623 2024-11-26)
cargo 1.83.0 (5ffbef321 2024-10-29)
clippy 0.1.83 (90b35a62 2024-11-26)

View more details on GitHub Actions