Skip to content

Conversation

@jhrozek
Copy link
Contributor

@jhrozek jhrozek commented Nov 1, 2025

This is a carbon copy of PR #336 just opened from a branch from origin to see if the issue with the CI is caused by opening a PR from a fork.

Signed-off-by: João Galego <[email protected]>
@github-actions
Copy link
Contributor

github-actions bot commented Nov 1, 2025

🔧 MCP Server Tool List Updates

The tool lists for modified MCP server specs have been automatically updated using thv mcp list.

Summary

Server Status Details
mermaid ⚠️ Warning Could not fetch tools, added warning comment

This comment is automatically generated and will be updated as the workflow progresses.

…:\n- mermaid\n\nAutomatically updated using 'thv mcp list' command.\n\nCo-authored-by: jhrozek <[email protected]>
@jhrozek jhrozek mentioned this pull request Nov 1, 2025
@jhrozek jhrozek merged commit 94d05ac into main Nov 2, 2025
1 check passed
@jhrozek jhrozek deleted the feat/add-mermaid-mcp branch November 2, 2025 20:06
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants