Skip to content

fix(ci): unbreak main — drop the unused MCP_SERVER_NAME export - #10195

Merged
JSONbored merged 1 commit into
mainfrom
fix/unbreak-main-mcp-server-name
Jul 31, 2026
Merged

fix(ci): unbreak main — drop the unused MCP_SERVER_NAME export#10195
JSONbored merged 1 commit into
mainfrom
fix/unbreak-main-mcp-server-name

fix(ci): unbreak main — drop the unused MCP_SERVER_NAME export

e753650
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar