Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Starting the V1 search engine #65

Merged
merged 1 commit into from
Mar 30, 2022
Merged

Starting the V1 search engine #65

merged 1 commit into from
Mar 30, 2022

Conversation

tchoutri
Copy link
Contributor

@tchoutri tchoutri commented Feb 6, 2022

@tchoutri tchoutri force-pushed the search-engine-v1 branch 3 times, most recently from b390f34 to ae33e22 Compare February 9, 2022 21:21
@tchoutri tchoutri force-pushed the search-engine-v1 branch 2 times, most recently from 361ae31 to f6b55c2 Compare March 11, 2022 18:59
@tchoutri
Copy link
Contributor Author

Current status:

The semantics of the search strings have to be implemented now, according to #35

@tchoutri tchoutri force-pushed the search-engine-v1 branch 6 times, most recently from 0e944c9 to 09df0e4 Compare March 30, 2022 21:32
@tchoutri tchoutri merged commit d28d327 into development Mar 30, 2022
@tchoutri tchoutri deleted the search-engine-v1 branch March 30, 2022 21:54
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@tchoutri