Merge main into v1#625

edoardopirovano merged 7 commits into

v1github/codeql-action:v1from

update-v1.0.7-3428407bgithub/codeql-action:update-v1.0.7-3428407bCopy head branch name to clipboard