Skip to content
Run pre-commit and in-place update PR on push

refactor(CategoryTheory/ObjectProperty): IsClosedUnderLimitsOfShape #6999

Sign in to view logs

refactor(CategoryTheory/ObjectProperty): IsClosedUnderLimitsOfShape

refactor(CategoryTheory/ObjectProperty): IsClosedUnderLimitsOfShape #6999

Triggered via pull request October 20, 2025 16:42
@joelrioujoelriou
synchronize #29881
joelriou:refactor-object-property-closed-under-limits-of-shape
Status Success
Total duration 37s
Artifacts –

pre-commit.yml

on: pull_request
main
29s
main
Fit to window
Zoom out
Zoom in