Skip to content

Rename run always #143001

Merged
bors merged 1 commit into
rust-lang:masterfrom
Shourya742:2025-06-25-rename-run-always
Jun 27, 2025
Merged

Rename run always #143001
bors merged 1 commit into
rust-lang:masterfrom
Shourya742:2025-06-25-rename-run-always

rename run_always to run_in_dry_run

f908939
Select commit
Loading
Failed to load commit list.
Sign in for the full log view