Bump actions/checkout from 3 to 4#13

Closed

dependabot[bot] wants to merge 1 commit intostablefrom

dependabot/github_actions/actions/checkout-4

Commits on Oct 1, 2023

Bump actions/checkout from 3 to 4
dependabot[bot]
authored