Skip to content
Add "ready-to-merge" and "delegated" label

[Merged by Bors] - feat(Algebra/Category): IsQuasicoherent from a cover #193405

Sign in to view logs

[Merged by Bors] - feat(Algebra/Category): IsQuasicoherent from a cover

[Merged by Bors] - feat(Algebra/Category): IsQuasicoherent from a cover #193405

Triggered via pull request February 12, 2026 11:45
@joelrioujoelriou
created #35168
Status Success
Total duration 11s
Artifacts –

maintainer_bors.yml

on: pull_request_review_comment
Add ready-to-merge or delegated label
8s
Add ready-to-merge or delegated label
Fit to window
Zoom out
Zoom in