Release preparation for version 2.25.4#21793

redsun82 merged 1 commit intocodeql-cli-2.25.4github/codeql:codeql-cli-2.25.4from

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