[TS] Add usvm-mcp: MCP server exposing symbolic execution tools#340
Draft
CaelmBleidd wants to merge 1 commit into
Draft
[TS] Add usvm-mcp: MCP server exposing symbolic execution tools#340CaelmBleidd wants to merge 1 commit into
CaelmBleidd wants to merge 1 commit into
Annotations
2 warnings
|
Complete job
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, actions/setup-java@v4, github/codeql-action/upload-sarif@v3, gradle/actions/setup-gradle@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
Upload Detekt SARIF report
CodeQL Action v3 will be deprecated in December 2026. Please update all occurrences of the CodeQL Action in your workflow files to v4. For more information, see https://github.blog/changelog/2025-10-28-upcoming-deprecation-of-codeql-action-v3/
|
background
wait
wait-all
cancel
parallel
Loading