Bump actions/setup-python from 5 to 6#229

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

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