Skip to content

🛡️ Sentinel: [CRITICAL/HIGH] Fix local code execution risk in Git invocations #162

🛡️ Sentinel: [CRITICAL/HIGH] Fix local code execution risk in Git invocations

🛡️ Sentinel: [CRITICAL/HIGH] Fix local code execution risk in Git invocations #162

Triggered via pull request June 26, 2026 16:50
Status Failure
Total duration 2m 32s
Artifacts

ci.yml

on: pull_request
Matrix: Tests + Coverage
Lint + Format
13s
Lint + Format
Types (mypy strict)
18s
Types (mypy strict)
Live judge e2e (weekly)
Live judge e2e (weekly)
Matrix: live-oracles
Self-Hosting Scan (dogfood)
18s
Self-Hosting Scan (dogfood)
Upload Self-Hosting SARIF
0s
Upload Self-Hosting SARIF
Fit to window
Zoom out
Zoom in

Annotations

1 error and 5 warnings
Lint + Format
Process completed with exit code 1.
Types (mypy strict)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
Lint + Format
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
Tests + Coverage (3.13)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
Tests + Coverage (3.12)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
Self-Hosting Scan (dogfood)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/