Skip to content
Add "closed-pr" emoji in Zulip

[Merged by Bors] - feat(Positivity): add support for positivity [h₁, h₂] syntax #4867

Sign in to view logs

[Merged by Bors] - feat(Positivity): add support for positivity [h₁, h₂] syntax

[Merged by Bors] - feat(Positivity): add support for positivity [h₁, h₂] syntax #4867

Add closed-pr emoji in Zulip

Add closed-pr emoji in Zulip
succeeded Oct 16, 2025 in 5s