Skip to content

chore(ci): upgrade checkout to v5#145289

Merged
bors merged 1 commit intorust-lang:masterfrom
rejected-l:master
Aug 13, 2025
Merged

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

Commits

Commits on Aug 12, 2025