Update github/codeql-action action to v4#7

renovate[bot] wants to merge 1 commit intomainfacet-rs/facet-diff:mainfrom

renovate/github-codeql-action-4.xfacet-rs/facet-diff:renovate/github-codeql-action-4.xCopy head branch name to clipboard