Skip to content

Bug fixes#12

Merged
mweiden merged 3 commits intomainfrom
matt-weiden/fixes
Aug 12, 2025
Merged

Bug fixes#12
mweiden merged 3 commits intomainfrom
matt-weiden/fixes

Conversation

@mweiden
Copy link
Copy Markdown
Owner

@mweiden mweiden commented Aug 12, 2025

  • All search logs should have the latest log format
  • Reduce the depth of the web crawl
  • Handle the case where there is no trie

@mweiden mweiden merged commit b1c60be into main Aug 12, 2025
1 check 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.

1 participant