Skip to content

Rename run always #143001

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

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

Commits

Commits on Jun 25, 2025