Skip to content

Actions: leanprover-community/mathlib4

Actions

.github/workflows/zulip_emoji_awaiting_author.yaml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
zulip_emoji_awaiting_author.yaml
2,904 workflow runs
2,904 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

refactor(CategoryTheory/Limits/Preserves/Ulift): simplify the proof that the universe lifting functor for types preserves all colimits .github/workflows/zulip_emoji_awaiting_author.yaml #2908: Pull request #20508 labeled by smorel394
January 6, 2025 09:02 3s SM.uliftTypes
SM.uliftTypes
January 6, 2025 09:02 3s
chore(RingTheory/Finitness): rename Module.Finite.out .github/workflows/zulip_emoji_awaiting_author.yaml #2907: Pull request #20506 labeled by kbuzzard
January 6, 2025 08:14 2s kbuzzard-deout-module_finite
kbuzzard-deout-module_finite
January 6, 2025 08:14 2s
chore(RingTheory/Finitness): rename Module.Finite.out .github/workflows/zulip_emoji_awaiting_author.yaml #2906: Pull request #20506 unlabeled by kbuzzard
January 6, 2025 08:14 3s kbuzzard-deout-module_finite
kbuzzard-deout-module_finite
January 6, 2025 08:14 3s
chore: to_additive various results on groups, group actions .github/workflows/zulip_emoji_awaiting_author.yaml #2905: Pull request #20498 unlabeled by AntoineChambert-Loir
January 6, 2025 08:10 14s ACL/Primitive-1
ACL/Primitive-1
January 6, 2025 08:10 14s
chore(RingTheory/Finitness): rename Module.Finite.out .github/workflows/zulip_emoji_awaiting_author.yaml #2904: Pull request #20506 labeled by leanprover-community-mathlib4-bot
January 6, 2025 08:06 2s kbuzzard-deout-module_finite
kbuzzard-deout-module_finite
January 6, 2025 08:06 2s
chore(RingTheory/Finitness): rename Module.Finite.out .github/workflows/zulip_emoji_awaiting_author.yaml #2903: Pull request #20506 labeled by jcommelin
January 6, 2025 08:06 1s kbuzzard-deout-module_finite
kbuzzard-deout-module_finite
January 6, 2025 08:06 1s
chore(RingTheory/Finitness): rename Module.Finite.out .github/workflows/zulip_emoji_awaiting_author.yaml #2902: Pull request #20506 unlabeled by kbuzzard
January 6, 2025 07:56 2s kbuzzard-deout-module_finite
kbuzzard-deout-module_finite
January 6, 2025 07:56 2s
chore(RingTheory/Finitness): rename Module.Finite.out .github/workflows/zulip_emoji_awaiting_author.yaml #2901: Pull request #20506 labeled by kbuzzard
January 6, 2025 07:56 2s kbuzzard-deout-module_finite
kbuzzard-deout-module_finite
January 6, 2025 07:56 2s
[Merged by Bors] - chore(LinearIndependent): generalize to semirings .github/workflows/zulip_emoji_awaiting_author.yaml #2900: Pull request #20480 labeled by leanprover-community-mathlib4-bot
January 6, 2025 07:43 1s Semiring_LinearIndependent
Semiring_LinearIndependent
January 6, 2025 07:43 1s
chore: cleanup many erw .github/workflows/zulip_emoji_awaiting_author.yaml #2899: Pull request #20484 labeled by jcommelin
January 6, 2025 07:26 2s use_simp
use_simp
January 6, 2025 07:26 2s
chore: cleanup many erw .github/workflows/zulip_emoji_awaiting_author.yaml #2898: Pull request #20484 labeled by leanprover-community-mathlib4-bot
January 6, 2025 07:26 2s use_simp
use_simp
January 6, 2025 07:26 2s
[Merged by Bors] - chore(NumberTheory/NumberField/AdeleRing): refactor adele rings .github/workflows/zulip_emoji_awaiting_author.yaml #2897: Pull request #20500 labeled by leanprover-community-mathlib4-bot
January 6, 2025 07:01 3s kbuzzard-adele-refactor
kbuzzard-adele-refactor
January 6, 2025 07:01 3s
feat: generalize normal functions .github/workflows/zulip_emoji_awaiting_author.yaml #2896: Pull request #20504 labeled by mathlib4-dependent-issues-bot
January 6, 2025 06:03 1s vi.normal
vi.normal
January 6, 2025 06:03 1s
feat: generalize normal functions .github/workflows/zulip_emoji_awaiting_author.yaml #2895: Pull request #20504 labeled by vihdzp
January 6, 2025 05:32 2s vi.normal
vi.normal
January 6, 2025 05:32 2s
feat: initial segment commutes with Iio .github/workflows/zulip_emoji_awaiting_author.yaml #2894: Pull request #20503 labeled by vihdzp
January 6, 2025 05:31 2s vi.ul
vi.ul
January 6, 2025 05:31 2s
feat: initial segment commutes with Iio .github/workflows/zulip_emoji_awaiting_author.yaml #2893: Pull request #20503 labeled by vihdzp
January 6, 2025 05:31 2s vi.ul
vi.ul
January 6, 2025 05:31 2s
feat: generalize IsLUB.mem_of_not_isSuccPrelimit to LinearOrder .github/workflows/zulip_emoji_awaiting_author.yaml #2892: Pull request #20502 labeled by vihdzp
January 6, 2025 04:08 3s vi.limitLemmas
vi.limitLemmas
January 6, 2025 04:08 3s
feat: generalize IsLUB.mem_of_not_isSuccPrelimit to LinearOrder .github/workflows/zulip_emoji_awaiting_author.yaml #2891: Pull request #20502 labeled by vihdzp
January 6, 2025 04:08 3s vi.limitLemmas
vi.limitLemmas
January 6, 2025 04:08 3s
feat(Aesop): Make some SetLike rules unsafe, add new SetLike rules .github/workflows/zulip_emoji_awaiting_author.yaml #2890: Pull request #20477 unlabeled by artie2000
January 6, 2025 01:37 2s artie2000-aesop-changes
artie2000-aesop-changes
January 6, 2025 01:37 2s
feat: generalize ContinuousLinearMap.curry to TVS .github/workflows/zulip_emoji_awaiting_author.yaml #2889: Pull request #20354 unlabeled by leanprover-community-bot-assistant
January 6, 2025 00:29 1s eric-wieser/curry-continuity
eric-wieser/curry-continuity
January 6, 2025 00:29 1s
chore: generalize more materials about linear independence over semirings .github/workflows/zulip_emoji_awaiting_author.yaml #2888: Pull request #20497 labeled by mathlib4-dependent-issues-bot
January 5, 2025 23:02 1s Semiring_LinearIndependent.2
Semiring_LinearIndependent.2
January 5, 2025 23:02 1s
chore: to_additive various results on groups, group actions .github/workflows/zulip_emoji_awaiting_author.yaml #2887: Pull request #20498 labeled by YaelDillies
January 5, 2025 22:55 19s ACL/Primitive-1
ACL/Primitive-1
January 5, 2025 22:55 19s
[Merged by Bors] - chore: replace aesop with simp where possible .github/workflows/zulip_emoji_awaiting_author.yaml #2886: Pull request #20483 labeled by leanprover-community-mathlib4-bot
January 5, 2025 22:19 2s aesop_to_simp
aesop_to_simp
January 5, 2025 22:19 2s
[Merged by Bors] - chore(NumberTheory/NumberField/AdeleRing): refactor adele rings .github/workflows/zulip_emoji_awaiting_author.yaml #2885: Pull request #20500 labeled by kbuzzard
January 5, 2025 22:13 1s kbuzzard-adele-refactor
kbuzzard-adele-refactor
January 5, 2025 22:13 1s
[Merged by Bors] - chore(NumberTheory/NumberField/AdeleRing): refactor adele rings .github/workflows/zulip_emoji_awaiting_author.yaml #2884: Pull request #20500 labeled by kbuzzard
January 5, 2025 22:13 2s kbuzzard-adele-refactor
kbuzzard-adele-refactor
January 5, 2025 22:13 2s