Skip to content

Merge pull request #3272 from github/mario-campos/v4-warning #2867

Merge pull request #3272 from github/mario-campos/v4-warning

Merge pull request #3272 from github/mario-campos/v4-warning #2867

Triggered via push November 5, 2025 16:01
Status Success
Total duration 1m 6s
Artifacts 1
Matrix: Job run UUID added to SARIF
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
ubuntu-latest-nightly-latest.sarif.json Expired
70.3 KB
sha256:33d44c26363f4a8d245af2f1b4542a954cbd812943544333e32254566a13bd5f