Release preparation for version 2.25.0#21483

oscarsj merged 1 commit intocodeql-cli-2.25.0github/codeql:codeql-cli-2.25.0from

release-prep/2.25.0github/codeql:release-prep/2.25.0Copy head branch name to clipboard