Skip to content
Back to pull request #22123

[Merged by Bors] - feat(CategoryTheory/Abelian/GrothendieckCategory): computing colimits in Subobject #84533

Sign in to view logs

[Merged by Bors] - feat(CategoryTheory/Abelian/GrothendieckCategory): computing colimits in Subobject

[Merged by Bors] - feat(CategoryTheory/Abelian/GrothendieckCategory): computing colimits in Subobject #84533

Triggered via pull request February 20, 2025 12:35
@joelrioujoelriou
synchronize #22123
iscolimitmapcoconeofsubobjectmkeqisup
Status Success
Total duration 2m 12s
Artifacts –

lint_and_suggest_pr.yml

on: pull_request
Lint style
2m 3s
Lint style
Check all files imported
37s
Check all files imported
Fit to window
Zoom out
Zoom in