Skip to content
.github/workflows/zulip_emoji_awaiting_author.yaml

feat(CategoryTheory): locally presentable and accessible categories #2219

Sign in to view logs

feat(CategoryTheory): locally presentable and accessible categories

feat(CategoryTheory): locally presentable and accessible categories #2219

Triggered via pull request December 26, 2024 19:49
@joelrioujoelriou
labeled #20263
category-theory-accessible3
Status Skipped
Total duration 2s
Artifacts –

zulip_emoji_awaiting_author.yaml

on: pull_request
set_pr_emoji
0s
set_pr_emoji
Fit to window
Zoom out
Zoom in