continuous integration (mathlib forks)

feat(CategoryTheory/Localization): liftings of bifunctors #159014

Sign in to view logs

GitHub Actions / New Contributor Check completed Dec 11, 2024 in 0s

Found 623 PRs by joelriou.

Found 623 PRs by joelriou.

View more details on GitHub Actions