Skip to content

🛡️ Sentinel: [HIGH] Fix Command Injection vulnerability via malicious Git configuration #168

🛡️ Sentinel: [HIGH] Fix Command Injection vulnerability via malicious Git configuration

🛡️ Sentinel: [HIGH] Fix Command Injection vulnerability via malicious Git configuration #168

Triggered via pull request June 27, 2026 16:19
Status Success
Total duration 2m 24s
Artifacts

ci.yml

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

Annotations

5 warnings
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/
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/
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/