I just merged <https://github.com/pantsbuild/pants...
# development
h
I just merged https://github.com/pantsbuild/pants/pull/21725, which fixes a longstanding problem with a bad
__hash__
implementation. That problem was related to occasional mypy failures, which have been gumming up CI recently. So if you’re hitting those, merge main and try your PR again.
🎉 2
b
Thank you for getting that done (and thanks @curved-television-6568 for your detailed reviewing)
🙏 1