Release preparation for version 2.25.1#21573

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

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