Bump actions/github-script from 8 to 9#4576

feliperodri merged 2 commits intomainmodel-checking/kani:mainfrom

dependabot/github_actions/actions/github-script-9model-checking/kani:dependabot/github_actions/actions/github-script-9Copy head branch name to clipboard