Skip to content

CLI: improve search command#5665

Merged
StachuDotNet merged 7 commits into
darklang:mainfrom
OceanOak:improve-search-2
Jun 3, 2026
Merged

CLI: improve search command#5665
StachuDotNet merged 7 commits into
darklang:mainfrom
OceanOak:improve-search-2

Conversation

@OceanOak
Copy link
Copy Markdown
Collaborator

No description provided.

@OceanOak OceanOak force-pushed the improve-search-2 branch from 6e37db3 to 6fbce40 Compare May 28, 2026 14:38
@OceanOak OceanOak force-pushed the improve-search-2 branch from 6fbce40 to aa9c2c1 Compare May 29, 2026 04:49
@OceanOak OceanOak marked this pull request as ready for review May 29, 2026 19:17
@OceanOak OceanOak requested a review from StachuDotNet May 29, 2026 19:17
@StachuDotNet StachuDotNet merged commit ed8d782 into darklang:main Jun 3, 2026
7 checks passed
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.

2 participants