Skip to content
options

Add MCP server for LLM interaction with Goblint #11974

Sign in to view logs

Add MCP server for LLM interaction with Goblint

Add MCP server for LLM interaction with Goblint #11974

Re-run triggered February 12, 2026 04:46
@michael-schwarzmichael-schwarz
#1938
copilot/add-mcp-server-for-goblint
Status Success
Total duration 18s
Artifacts –

options.yml

on: pull_request
Matrix: validate-conf
Fit to window
Zoom out
Zoom in