Skip to content

Merge pull request #20645 from ChayimFriedman2/update-rustc #7256

Merge pull request #20645 from ChayimFriedman2/update-rustc

Merge pull request #20645 from ChayimFriedman2/update-rustc #7256

other_metrics (ripgrep-13.0.0)

succeeded Sep 10, 2025 in 42s