Skip to content
continuous integration (mathlib forks)

[Merged by Bors] - feat: basic API for ConditionallyCompletePartialOrder #270374

Sign in to view logs

[Merged by Bors] - feat: basic API for ConditionallyCompletePartialOrder

[Merged by Bors] - feat: basic API for ConditionallyCompletePartialOrder #270374

ci (fork)  /  Lint style

ci (fork) / Lint style
succeeded Feb 16, 2026 in 2m 0s
⚡