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,903 workflow runs
4,903 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[Merged by Bors] - chore: delete unused test file Add "closed-pr" emoji in Zulip #4762: Pull request #30497 closed by mathlib-bors bot
11s
11s
[Merged by Bors] - doc: fix repeated words in documentation Add "closed-pr" emoji in Zulip #4761: Pull request #30479 closed by mathlib-bors bot
7s
7s
[Merged by Bors] - doc: refer to the ASCII asterisk as more common Add "closed-pr" emoji in Zulip #4760: Pull request #30495 closed by mathlib-bors bot
8s
8s
[Merged by Bors] - chore(CategoryTheory): split Limits.Presentation Add "closed-pr" emoji in Zulip #4759: Pull request #29903 closed by mathlib-bors bot
10s
10s
[Merged by Bors] - chore: Polynomial.eval_X_pow Add "closed-pr" emoji in Zulip #4758: Pull request #30446 closed by mathlib-bors bot
5s
5s
[Merged by Bors] - doc: cleanup of kleene star docs Add "closed-pr" emoji in Zulip #4757: Pull request #29668 closed by mathlib-bors bot
8s
8s
[Merged by Bors] - fix(lint-style): parse linter options and load environment extensions correctly Add "closed-pr" emoji in Zulip #4756: Pull request #29513 closed by mathlib-bors bot
6s
6s
Simons2025 Add "closed-pr" emoji in Zulip #4755: Pull request #26376 closed by maddycrim
19s
19s
[Merged by Bors] - chore: move Data/Real/Irrational to RingTheory Add "closed-pr" emoji in Zulip #4754: Pull request #29002 closed by mathlib-bors bot
14s
14s
[Merged by Bors] - feat(Geometry/Euclidean/Sphere/Tangent) add isTangentAt with right-angle Add "closed-pr" emoji in Zulip #4753: Pull request #30235 closed by mathlib-bors bot
5s
5s
[Merged by Bors] - feat(SetTheory/Ordinal/Exponential): generalize theorems from y = succ x to x < y Add "closed-pr" emoji in Zulip #4752: Pull request #29042 closed by mathlib-bors bot
5s
5s
feat(HomogeneousIdeal): generalize to homogeneous submodule Add "closed-pr" emoji in Zulip #4751: Pull request #30437 closed by jjaassoonn
17s
17s
[Merged by Bors] - test(Data/DFinsupp/Lex): make irreducible decidability instances reducible Add "closed-pr" emoji in Zulip #4750: Pull request #30480 closed by mathlib-bors bot
12s
12s
[Merged by Bors] - feat(CategoryTheory): Colimits in Subobject X Add "closed-pr" emoji in Zulip #4749: Pull request #29863 closed by mathlib-bors bot
5s
5s
[Merged by Bors] - chore: rename Grp to GrpCat Add "closed-pr" emoji in Zulip #4748: Pull request #30191 closed by mathlib-bors bot
8s
8s
[Merged by Bors] - feat: remove separability assumption from Algebra.norm_eq_norm_adjoin and Algebra.norm_eq_prod_roots Add "closed-pr" emoji in Zulip #4747: Pull request #30448 closed by mathlib-bors bot
6s
6s
[Merged by Bors] - doc(CategoryTheory/Abelian/NonPreadditive): mention NonPreadditiveAbelian.preadditive in docstring of NonPreadditiveAbelian Add "closed-pr" emoji in Zulip #4746: Pull request #30469 closed by mathlib-bors bot
8s
8s
[Merged by Bors] - doc(CategoryTheory/Iso): mention asIso and inv in the docstring for IsIso Add "closed-pr" emoji in Zulip #4745: Pull request #30467 closed by mathlib-bors bot
8s
8s
[Merged by Bors] - feat(CategoryTheory): pseudofunctors to Cat Add "closed-pr" emoji in Zulip #4744: Pull request #25971 closed by mathlib-bors bot
5s
5s
[Merged by Bors] - feat(Counterexamples): Euler's sum of powers conjecture Add "closed-pr" emoji in Zulip #4743: Pull request #29110 closed by mathlib-bors bot
6s
6s
[Merged by Bors] - refactor(RingTheory/FinitePresentation): generalise instances Add "closed-pr" emoji in Zulip #4742: Pull request #30455 closed by mathlib-bors bot
7s
7s
[Merged by Bors] - refactor(RingTheory/AdjoinRoot): generalise algEquivOfAssociated Add "closed-pr" emoji in Zulip #4741: Pull request #30456 closed by mathlib-bors bot
7s
7s
[Merged by Bors] - feat: (Algebra.ofId R A).toRingHom = algebraMap R A Add "closed-pr" emoji in Zulip #4740: Pull request #30454 closed by mathlib-bors bot
9s
9s
[Merged by Bors] - feat(LinearAlgebra/Matrix/PosDef): vecMulVec a (star a) is positive semi-definite Add "closed-pr" emoji in Zulip #4739: Pull request #29861 closed by mathlib-bors bot
9s
9s
[Merged by Bors] - chore(Mathlib/Order/BooleanAlgebra/Basic): some golf Add "closed-pr" emoji in Zulip #4738: Pull request #30427 closed by mathlib-bors bot
6s
6s