ci: Update `actions/checkout` to `v4` from `v3`.#284

Closed

waywardmonkeys wants to merge 1 commit intoRavenbrook:masterfrom waywardmonkeys:update-ci-checkout-action

+5-5

Commits on Feb 29, 2024

ci: Update actions/checkout to v4 from v3.
waywardmonkeys
committed