Upgrade to `actions/checkout@v4` in `ci.yml`.#3511

Merged

bors merged 1 commit intorust-lang:masterfrom obi1kenobi:patch-1

Apr 24, 2024

+3-3

Commits on Apr 24, 2024

Upgrade to actions/checkout@v4 in ci.yml.
obi1kenobi
authored