Rollup of 4 pull requests#140845

Closed

GuillaumeGomez wants to merge 10 commits into

rust-lang:masterfrom

GuillaumeGomez:rollup-3sm009j

Commits on Apr 9, 2025

Commits on Apr 11, 2025

rustdoc: use a different style of grip track
notriddle
committed

Commits on Apr 15, 2025

Replace flag `--doctest-compilation-args` with a simpler one: `--doctest-build-arg`
fmease
committed

Commits on May 8, 2025