continuous integration (mathlib forks)

Update Mathlib/CategoryTheory/ObjectProperty/ClosedUnderIsomorphisms.… #180905

Sign in to view logs

GitHub Actions / New Contributor Check completed Feb 25, 2025 in 0s

Found 755 PRs by joelriou.

Found 755 PRs by joelriou.

View more details on GitHub Actions