Thanks to visit codestin.com
Credit goes to github.com

Skip to content

fix: duplicate mcp tool definition#1527

Merged
tusharmath merged 4 commits into
mainfrom
fix-mcp-tool-definition
Sep 11, 2025
Merged

fix: duplicate mcp tool definition#1527
tusharmath merged 4 commits into
mainfrom
fix-mcp-tool-definition

Conversation

@tusharmath

Copy link
Copy Markdown
Collaborator
  • refactor: optimize get_allowed_tools method for better performance
  • refactor: streamline get_allowed_tools method for clarity and efficiency

@github-actions github-actions Bot added the type: fix Iterations on existing features or infrastructure. label Sep 11, 2025
@tusharmath tusharmath changed the title fix mcp tool definition fix: duplicate mcp tool definition Sep 11, 2025
@openhands-ai

openhands-ai Bot commented Sep 11, 2025

Copy link
Copy Markdown

Looks like there are a few issues preventing this PR from being merged!

  • GitHub Actions are failing:
    • ci

If you'd like me to help, just leave a comment, like

@OpenHands please fix the failing actions on PR #1527 at branch `fix-mcp-tool-definition`

Feel free to include any additional details that might help me get this PR into a better state.

You can manage your notification settings

@tusharmath tusharmath enabled auto-merge (squash) September 11, 2025 06:42
@tusharmath tusharmath merged commit 0c448f8 into main Sep 11, 2025
8 checks passed
@tusharmath tusharmath deleted the fix-mcp-tool-definition branch September 11, 2025 06:43
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

type: fix Iterations on existing features or infrastructure.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant