Merge subtree update for toolchain nightly-2025-12-03#590
Open
github-actions[bot] wants to merge 10000 commits into
Open
Merge subtree update for toolchain nightly-2025-12-03#590github-actions[bot] wants to merge 10000 commits into
github-actions[bot] wants to merge 10000 commits into
Annotations
2 warnings
|
Initialize CodeQL
Cannot retrieve the full diff because there are too many (300) changed files in the pull request.
|
|
Initialize CodeQL
Starting April 2026, the CodeQL Action will skip computing file coverage information on pull requests to improve analysis performance. File coverage information will still be computed on non-PR analyses.
To opt out of this change, create a custom repository property with the name `github-codeql-file-coverage-on-prs` and the type "True/false", then set this property to `true` in the repository's settings.
|
background
wait
wait-all
cancel
Loading