Rollup of 18 pull requests #152825

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

Merged

rust-bors merged 135 commits into rust-lang:main from JonathanBrouwer:rollup-0YvwE70

Feb 19, 2026

+26,630 −3,878

Merged

Rollup of 18 pull requests #152825

Rollup merge of #152806 - RalfJung:interpret-typo, r=Kivooeo

rust-bors / Bors try build succeeded Feb 18, 2026 in 2h 28m 47s

Bors try build

View more details on rust-bors