Merge main into releases/v3#2259

github-actions[bot] wants to merge 9 commits into

releases/v3github/codeql-action:releases/v3from

update-v3.25.3-0ad779164github/codeql-action:update-v3.25.3-0ad779164Copy head branch name to clipboard