.github/workflows/zulip_emoji_awaiting_author.yaml

Actions

All workflows
Workflows
- continuous integration continuous integration
- continuous integration (mathlib forks) continuous integration (mathlib forks)
- continuous integration (staging) continuous integration (staging)
- Weekly Technical Debt Counters Weekly Technical Debt Counters
- .github/workflows/zulip_emoji_awaiting_author.yaml .github/workflows/zulip_emoji_awaiting_author.yaml
- .github/workflows/zulip_emoji_labelling.yaml .github/workflows/zulip_emoji_labelling.yaml
- Add "closed-pr" emoji in Zulip Add "closed-pr" emoji in Zulip
- Add "ready-to-merge" and "delegated" label Add "ready-to-merge" and "delegated" label
- Add "ready-to-merge" and "delegated" label (workflow_run) Add "ready-to-merge" and "delegated" label (workflow_run)
- Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review
Management
- Caches

.github/workflows/zulip_emoji_awaiting_author.yaml

Actions

Loading...
Loading

16,282 workflow runs

feat(Algebra/Category): some lemmas about adjunctions in Under R .github/workflows/zulip_emoji_awaiting_author.yaml #16297: Pull request #24589 labeled by mbkybky

2s undergraduate-ruiqi-chen/topology-on-R-valued-points

undergraduate-ruiqi-chen/topology-on-R-valued-points

feat(Algebra/Category): some lemmas about adjunctions in Under R .github/workflows/zulip_emoji_awaiting_author.yaml #16296: Pull request #24589 labeled by mbkybky

1s undergraduate-ruiqi-chen/topology-on-R-valued-points

undergraduate-ruiqi-chen/topology-on-R-valued-points

feat (Topology/Compactness/CompactSystem): Closed and compact square cylinders form a compact system. .github/workflows/zulip_emoji_awaiting_author.yaml #16295: Pull request #24542 labeled by grunweg

1s pfaffelh_compactSystem2

pfaffelh_compactSystem2

feat (Topology/Compactness/CompactSystem): Set system of finite unions of sets in a compact system is again a compact system .github/workflows/zulip_emoji_awaiting_author.yaml #16294: Pull request #24543 labeled by grunweg

2s pfaffelh_compactSystem3

pfaffelh_compactSystem3

1s pfaffelh_compactSystem3

pfaffelh_compactSystem3

chore: deprime induction for localizations and quotients .github/workflows/zulip_emoji_awaiting_author.yaml #16292: Pull request #23676 labeled by grunweg

19s deprime-localization-quot

deprime-localization-quot

19s

[Merged by Bors] - feat: have ring_nf fail if no progress .github/workflows/zulip_emoji_awaiting_author.yaml #16291: Pull request #24529 labeled by grunweg

21s aliu/ringnf-fail

aliu/ringnf-fail

21s

[Merged by Bors] - feat: a linter to enforce formatting .github/workflows/zulip_emoji_awaiting_author.yaml #16290: Pull request #24465 labeled by grunweg

17s test/recoverpplint

test/recoverpplint

17s

[Merged by Bors] - feat(CategoryTheory/Center): localization .github/workflows/zulip_emoji_awaiting_author.yaml #16289: Pull request #23779 labeled by leanprover-community-mathlib4-bot

1s jriou-category-center-localization

jriou-category-center-localization

feat(Topology/Compactness/CompactSystem): introduce compact Systems .github/workflows/zulip_emoji_awaiting_author.yaml #16288: Pull request #24541 labeled by pfaffelh

1s pfaffelh_compactSystem

pfaffelh_compactSystem

[Merged by Bors] - chore(CategoryTheory/Action): generalize universes .github/workflows/zulip_emoji_awaiting_author.yaml #16287: Pull request #24547 labeled by chrisflav

2s chrisflav-fix-univ-action

chrisflav-fix-univ-action

[Merged by Bors] - chore(Probability): typeclass generalizations .github/workflows/zulip_emoji_awaiting_author.yaml #16286: Pull request #24474 labeled by leanprover-community-mathlib4-bot

2s RD_generalize

RD_generalize

feat(ULift): conjugation by ULift.up/down, misc cast/heq lemmas .github/workflows/zulip_emoji_awaiting_author.yaml #16285: Pull request #24533 unlabeled by robertmaxton42

15s robertmaxton42/quiv-helpers4

robertmaxton42/quiv-helpers4

15s

[Merged by Bors] - feat: Tannaka duality for finite groups .github/workflows/zulip_emoji_awaiting_author.yaml #16284: Pull request #22176 unlabeled by mathlib4-dependent-issues-bot

2s yb_tannaka3

yb_tannaka3

[Merged by Bors] - refactor(zulip-emoji-merge-delegate.py): consolidate repeated logic .github/workflows/zulip_emoji_awaiting_author.yaml #16283: Pull request #24545 labeled by mathlib4-dependent-issues-bot

2s MR-dedup-emoji-merge-delegate

MR-dedup-emoji-merge-delegate

[Merged by Bors] - refactor(zulip-emoji-merge-delegate.py): consolidate repeated logic .github/workflows/zulip_emoji_awaiting_author.yaml #16282: Pull request #24545 labeled by grunweg

2s MR-dedup-emoji-merge-delegate

MR-dedup-emoji-merge-delegate

[Merged by Bors] - feat(CI): add emoji to maintainer merge'd PRs also .github/workflows/zulip_emoji_awaiting_author.yaml #16281: Pull request #24544 labeled by grunweg

2s MR-mm-emoji

MR-mm-emoji

chore: adaptations for nightly-2025-05-01 .github/workflows/zulip_emoji_awaiting_author.yaml #16280: Pull request #24524 labeled by leanprover-community-mathlib4-bot

2s bump/nightly-2025-05-01

bump/nightly-2025-05-01

feat(Geometry/Euclidean/SignedDist): signedDist between two points .github/workflows/zulip_emoji_awaiting_author.yaml #16279: Pull request #24245 labeled by grunweg

2s signedDist

signedDist

2s pfaffelh_compactSystem3

pfaffelh_compactSystem3

feat (Topology/Compactness/CompactSystem): Closed and compact square cylinders form a compact system. .github/workflows/zulip_emoji_awaiting_author.yaml #16277: Pull request #24542 labeled by mathlib4-dependent-issues-bot

2s pfaffelh_compactSystem2

pfaffelh_compactSystem2

feat: The finite product of semi-rings (in terms of measure theory) is a semi-ring. .github/workflows/zulip_emoji_awaiting_author.yaml #16276: Pull request #22714 unlabeled by pfaffelh

15s pfaffelh_SemiringPi

pfaffelh_SemiringPi

15s

feat(Quiv): add the empty, vertex, point, interval, and walking quivers .github/workflows/zulip_emoji_awaiting_author.yaml #16275: Pull request #24540 labeled by mathlib4-dependent-issues-bot

1s robertmaxton42/quiv-helpers10

robertmaxton42/quiv-helpers10

[Merged by Bors] - feat: restore positivity extensions for EReal .github/workflows/zulip_emoji_awaiting_author.yaml #16274: Pull request #24539 labeled by Parcly-Taxel

2s ereal-positivity

ereal-positivity

feat(ULift): conjugation by ULift.up/down, misc cast/heq lemmas .github/workflows/zulip_emoji_awaiting_author.yaml #16273: Pull request #24533 labeled by eric-wieser

17s robertmaxton42/quiv-helpers4

robertmaxton42/quiv-helpers4

17s

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

Actions

Workflows

Management