ci: Increase the benchmark rustc version to 2025-12-01#1030
Merged
tgross35 merged 1 commit intorust-lang:masterfrom Dec 2, 2025
Merged
ci: Increase the benchmark rustc version to 2025-12-01#1030tgross35 merged 1 commit intorust-lang:masterfrom
tgross35 merged 1 commit intorust-lang:masterfrom