Skip to content
.github/workflows/zulip_emoji_labelling.yaml

feat(Algebra/Category/ModuleCat/Sheaf): isQuasicoherent and isFinitePresentation are closed under isomorphisms #52662

Sign in to view logs

feat(Algebra/Category/ModuleCat/Sheaf): isQuasicoherent and isFinitePresentation are closed under isomorphisms

feat(Algebra/Category/ModuleCat/Sheaf): isQuasicoherent and isFinitePresentation are closed under isomorphisms #52662

Triggered via pull request April 14, 2026 16:36
@chrisflavchrisflav
labeled #37532
Status Success
Total duration 13s
Artifacts –

zulip_emoji_labelling.yaml

on: pull_request_target
set_pr_emoji
10s
set_pr_emoji
Fit to window
Zoom out
Zoom in
⚡