Skip to content

Merge pull request #3237 from github/backport-v3.31.0-4e94bd11f #7665

Merge pull request #3237 from github/backport-v3.31.0-4e94bd11f

Merge pull request #3237 from github/backport-v3.31.0-4e94bd11f #7665

Triggered via push October 24, 2025 18:30
Status Success
Total duration 5m 7s
Artifacts
Matrix: Upload-sarif: 'ref' and 'sha' from inputs
Fit to window
Zoom out
Zoom in