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)  /  Post-CI job

ci (fork) / Post-CI job
succeeded Feb 16, 2026 in 5s
⚡