Bump github/codeql-action from 3 to 4#8715

tautschnig merged 1 commit intodevelopdiffblue/cbmc:developfrom

dependabot/github_actions/github/codeql-action-4diffblue/cbmc:dependabot/github_actions/github/codeql-action-4Copy head branch name to clipboard