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

chore: remove dead searchers #775

Merged

ninoseki merged 1 commit into master from remove-dead-searchers

Nov 24, 2023

Owner

ninoseki commented Nov 24, 2023

No description provided.


          chore: remove dead searchers

021b54e

coveralls commented Nov 24, 2023

Pull Request Test Coverage Report for Build 6976888214

0 of 0 changed or added relevant lines in 0 files are covered.
No unchanged relevant lines lost coverage.
Overall coverage decreased (-0.1%) to 94.097%

Totals
Change from base Build 6976864182:	-0.1%
Covered Lines:	782
Relevant Lines:	826

💛 - Coveralls

ninoseki merged commit c30ffc5 into master

2 of 3 checks passed

ninoseki deleted the remove-dead-searchers branch

November 24, 2023 04:39

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment