Add remaining CI scripts to `pr-checks` · github/codeql-action@a7bfa21

Triggered via pull request July 31, 2026 12:24

mbg

synchronize #4064

Status Success

Total duration 56s

Artifacts 2

__diagnostics-export.yml

on: pull_request

Matrix: Diagnostic export

2 warnings

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/

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/

Produced during runtime

Name	Size	Digest
diagnostics-export-ubuntu-latest-linked.sarif.json Expired	70.9 KB	`sha256:8b7f2a73c7d71b69bb9c9959fcad1540516222a40e70fbc8b4937a0685d4007b`
diagnostics-export-ubuntu-latest-nightly-latest.sarif.json Expired	70.9 KB	`sha256:ff8b8f7634be088e38cbde33b562bacc0afe6f6e784131d8554c6f761419de6c`