Skip to content

Actions: leanprover-community/mathlib4

Actions

Add "closed-pr" emoji in Zulip

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
zulip_emoji_closed_pr.yaml
4,900 workflow runs
4,900 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[Merged by Bors] - doc(README): add Michael Rothgang to the maintainer list Add "closed-pr" emoji in Zulip #4834: Pull request #30588 closed by mathlib-bors bot
6s
6s
[Merged by Bors] - feat(Tactic/Simproc): nested quantifiers in existsAndEq Add "closed-pr" emoji in Zulip #4833: Pull request #26843 closed by mathlib-bors bot
14s
14s
[Merged by Bors] - refactor: weaken HasPullbacks to HasPullback in MorphismProperty.OverAdjuction Add "closed-pr" emoji in Zulip #4832: Pull request #29810 closed by mathlib-bors bot
8s
8s
[Merged by Bors] - chore(NumberField): follow-up to #30536 Add "closed-pr" emoji in Zulip #4831: Pull request #30583 closed by mathlib-bors bot
7s
7s
[Merged by Bors] - chore: tidy various files Add "closed-pr" emoji in Zulip #4830: Pull request #30442 closed by mathlib-bors bot
9s
9s
[Merged by Bors] - doc(CategoryTheory): fix typos Add "closed-pr" emoji in Zulip #4829: Pull request #30573 closed by mathlib-bors bot
5s
5s
[Merged by Bors] - feat(Combinatorics/Quiver): add congruence theorems for reflexive prefunctors Add "closed-pr" emoji in Zulip #4828: Pull request #30580 closed by mathlib-bors bot
7s
7s
[Merged by Bors] - chore(NumberField): create directory Cyclotomic and move relevant files there Add "closed-pr" emoji in Zulip #4827: Pull request #30536 closed by mathlib-bors bot
12s
12s
[Merged by Bors] - feat(IntermediateField/LinearDisjoint): Two fields are linearly disjoint over K iff their intersection is K in the Galois case Add "closed-pr" emoji in Zulip #4826: Pull request #27273 closed by mathlib-bors bot
5s
5s
[Merged by Bors] - feat(Analysis/SpecificLimits/Fibonacci): prove that the ratio of consecutive Fibonacci numbers tends to the golden ratio Add "closed-pr" emoji in Zulip #4825: Pull request #29759 closed by mathlib-bors bot
6s
6s
[Merged by Bors] - chore: update Mathlib dependencies 2025-10-15 Add "closed-pr" emoji in Zulip #4824: Pull request #30578 closed by mathlib-bors bot
6s
6s
[Merged by Bors] - feat: miscellaneous improvements to the differential geometry elaborators Add "closed-pr" emoji in Zulip #4823: Pull request #28032 closed by mathlib-bors bot
8s
8s
[Merged by Bors] - chore(Algebra/Order/Ring/Unbundled/Rat): golf Add "closed-pr" emoji in Zulip #4822: Pull request #30282 closed by mathlib-bors bot
10s
10s
[Merged by Bors] - feat: lineMap is continuous in all arguments Add "closed-pr" emoji in Zulip #4821: Pull request #30568 closed by mathlib-bors bot
6s
6s
[Merged by Bors] - chore: remove ancient version test in cache Add "closed-pr" emoji in Zulip #4820: Pull request #30566 closed by mathlib-bors bot
7s
7s
feat: v.adicCompletionIntegers K is compact Add "closed-pr" emoji in Zulip #4819: Pull request #21847 closed by smmercuri
20s
20s
[Merged by Bors] - feat: missing basic API for uniformly continuous functions Add "closed-pr" emoji in Zulip #4818: Pull request #30531 closed by mathlib-bors bot
7s
7s
[Merged by Bors] - chore(algebra): generalize mul_mem_smul_iff to rings Add "closed-pr" emoji in Zulip #4817: Pull request #30254 closed by mathlib-bors bot
5s
5s
[Merged by Bors] - chore: rename IrreducibleCloseds fields to match naming convention Add "closed-pr" emoji in Zulip #4816: Pull request #30550 closed by mathlib-bors bot
6s
6s
[Merged by Bors] - chore(AlgebraicGeometry): autumn cleaning Add "closed-pr" emoji in Zulip #4815: Pull request #30426 closed by mathlib-bors bot
5s
5s
[Merged by Bors] - chore(CategoryTheory/Limits/Opposites): split the file Limits.Opposites Add "closed-pr" emoji in Zulip #4814: Pull request #30517 closed by mathlib-bors bot
6s
6s
[Merged by Bors] - chore(*): use gcongr/grw Add "closed-pr" emoji in Zulip #4813: Pull request #30561 closed by mathlib-bors bot
5s
5s
Pólya enumeration Add "closed-pr" emoji in Zulip #4812: Pull request #30527 closed by 515801431
17s
17s
[Merged by Bors] - feat: {x | p x}⁻¹ = {x | p x⁻¹} Add "closed-pr" emoji in Zulip #4811: Pull request #30487 closed by mathlib-bors bot
7s
7s
doc: use en dash instead of hyphen in Akra-Bazzi Add "closed-pr" emoji in Zulip #4810: Pull request #29471 closed by ocfnash
16s
16s