Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
smarter ordering for queries that don't use zk first #935
Currently, when searching anything where
This PR implements two things:
My overall thought on this was that we can at least give the user the choice of efficiency/speed vs ensuring correct ordering.
Only other thing I wasn't sure on was whether to make