semgrep

Add MCP server for LLM interaction with Goblint #13604

Sign in to view logs

This workflow is awaiting approval from a maintainer in #1938

Triggered via pull request February 4, 2026 10:54

Copilot

synchronize #1938

copilot/add-mcp-server-for-goblint

Status Action required

Total duration –

Artifacts –

This workflow is awaiting approval from a maintainer in #1938

semgrep.yml

on: pull_request