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

Closed

waywardmonkeys wants to merge 1 commit into

Ravenbrook:masterfrom

waywardmonkeys:update-ci-checkout-action

Commits on Feb 29, 2024

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