.github/workflows/zulip_emoji_awaiting_author.yaml

feat(Algebra/ModuleCat): descent data #16266

Sign in to view logs

Triggered via pull request May 2, 2025 00:14

mathlib4-dependent-issues-bot

labeled #14203

AIM/comonadicityDescent

Status Skipped

Total duration 2s

Artifacts –

zulip_emoji_awaiting_author.yaml

on: pull_request