chore(ci): upgrade checkout to v5#145289
Merged
bors merged 1 commit intorust-lang:masterfrom Aug 13, 2025
rejected-l:master
Merged
chore(ci): upgrade checkout to v5#145289bors merged 1 commit intorust-lang:masterfrom rejected-l:master
bors merged 1 commit intorust-lang:masterfrom
rejected-l:master