Bump actions/checkout from 4 to 5#8709

tautschnig merged 1 commit intodevelopdiffblue/cbmc:developfrom

dependabot/github_actions/actions/checkout-5diffblue/cbmc:dependabot/github_actions/actions/checkout-5Copy head branch name to clipboard