Skip to content
Check PR titles

[Merged by Bors] - chore(CategoryTheory/Limits): dualize existence of limits in Over to Under #20128

Sign in to view logs

[Merged by Bors] - chore(CategoryTheory/Limits): dualize existence of limits in Over to Under

[Merged by Bors] - chore(CategoryTheory/Limits): dualize existence of limits in Over to Under #20128

Triggered via pull request April 13, 2026 17:22
@chrisflavchrisflav
opened #38012
Status Success
Total duration 1m 23s
Artifacts –

check_pr_titles.yaml

on: pull_request_target
check_title
1m 19s
check_title
Fit to window
Zoom out
Zoom in