Skip to content

Use private registry proxy for API requests when available #7843

Use private registry proxy for API requests when available

Use private registry proxy for API requests when available #7843

Triggered via pull request July 16, 2026 20:45
Status Success
Total duration 1m 11s
Artifacts 2

__diagnostics-export.yml

on: pull_request
Matrix: Diagnostic export
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
Diagnostic export (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/
Diagnostic export (ubuntu-latest, linked)
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
diagnostics-export-ubuntu-latest-linked.sarif.json
71.1 KB
sha256:f5b46d3ebf7efe3d3eb2c9191e7fcd7e8dfd93a0d797baa096e3628af0addd1d
diagnostics-export-ubuntu-latest-nightly-latest.sarif.json
71.1 KB
sha256:e8502f8aebfdf0a1dfe4985af37ac86b12b4520544c1fad9f7d6dd2e46e0557b