Bump actions/checkout from 5 to 6#236

tautschnig merged 1 commit intomastermodel-checking/cbmc-starter-kit:masterfrom

dependabot/github_actions/actions/checkout-6model-checking/cbmc-starter-kit:dependabot/github_actions/actions/checkout-6Copy head branch name to clipboard