Skip to content

Merge pull request #4030 from github/mbg/fix/no-proxy #5101

Merge pull request #4030 from github/mbg/fix/no-proxy

Merge pull request #4030 from github/mbg/fix/no-proxy #5101

Triggered via push July 22, 2026 05:11
Status Success
Total duration 1m 3s
Artifacts 1
Matrix: Job run UUID added to SARIF
Fit to window
Zoom out
Zoom in

Annotations

1 warning
Job run UUID added to SARIF (ubuntu-latest, nightly-latest)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: fwilhe2/setup-kotlin@9c245a6425255f5e98ba1ce6c15d31fce7eca9da. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/

Artifacts

Produced during runtime
Name Size Digest
ubuntu-latest-nightly-latest.sarif.json
72.3 KB
sha256:7945db349d1de45f5caf3ea5005608341bb71c9bfa525a4be1087e228365babe