Skip to content
Monaco Editor checks

Remove server-side tool search and consolidate on client-side tool_search #130730

Sign in to view logs

Remove server-side tool search and consolidate on client-side tool_search

Remove server-side tool search and consolidate on client-side tool_search #130730

Triggered via pull request April 15, 2026 23:43
@bhavyausbhavyaus
opened #310343
dev/bhavyau/remove-server-tool-search
Status Success
Total duration 4m 54s
Artifacts –

monaco-editor.yml

on: pull_request
Monaco Editor checks
4m 33s
Monaco Editor checks
Fit to window
Zoom out
Zoom in