Merge main into v1#628

github-actions[bot] wants to merge 4 commits intov1github/codeql-action:v1from

update-v1.0.8-36f860f3github/codeql-action:update-v1.0.8-36f860f3Copy head branch name to clipboard