Skip to content

Merge pull request #3256 from github/henrymercer/resolve-bad-merge #7738

Merge pull request #3256 from github/henrymercer/resolve-bad-merge

Merge pull request #3256 from github/henrymercer/resolve-bad-merge #7738

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