Michael Kirk
Michael Kirk
Looks good! I'll leave it to you to merge it @urschrei
Thanks for being a beta tester 😉 I think we assumed no one was using those traits except us. Now that we know that's not the case, I can follow...
Relatedly, I'm also interested in seeing a double/double implementation (or an f128 if that ever stabilizes).
Take a look at the code and see?
> Edit: actually it looks like there are some places where it's returning false positives, I'll take a look Ah, I just saw your edit.
Hi! What steps are you taking to deploy the stack?
I'm not totally sure what's going on, so I'll just say some things you might already know in case they're helpful: HEADWAY_PUBLIC_URL should be the URL that the user types...
Fixed in #1358
> I'm not able to run the benchmarks I've just now opened https://github.com/georust/rstar/pull/131 which should address that error.
#1197 has been merged - could you do a rebase or merge to minimize the diff?