Add "ready-to-merge" and "delegated" label from comment

Actions

Add "ready-to-merge" and "delegated" label from comment

Actions

Loading...
Loading

49,641 workflow runs

[Merged by Bors] - fix: linear_combination with an additive constant Add "ready-to-merge" and "delegated" label from comment #65518: Issue comment #19082 (comment) created by mathlib-bors bot

November 18, 2024 16:36

[Merged by Bors] - feat(Combinatorics/SimpleGraph/Matching): add IsPerfectMatching.toSubgraph_spanningCoe_iff Add "ready-to-merge" and "delegated" label from comment #65517: Issue comment #19094 (comment) created by mathlib-bors bot

November 18, 2024 16:36

[Merged by Bors] - chore: Split Mathlib.RingTheory.Ideal.Norm Add "ready-to-merge" and "delegated" label from comment #65516: Issue comment #19211 (comment) created by mathlib-bors bot

November 18, 2024 16:35

feat(LinearAlgebra/Matrix): Permanent Add "ready-to-merge" and "delegated" label from comment #65515: Issue comment #18936 (comment) created by mo271

November 18, 2024 16:18

feat(LinearAlgebra/Matrix): Permanent Add "ready-to-merge" and "delegated" label from comment #65514: Issue comment #18936 (comment) created by loefflerd

November 18, 2024 16:08

[Merged by Bors] - feat: add spoiler with comment to maintainer merge Add "ready-to-merge" and "delegated" label from comment #65513: Issue comment #19069 (comment) created by mathlib-bors bot

November 18, 2024 16:07

[Merged by Bors] - chore(FieldTheory/PurelyInseparable): fix typo _of_isIntegral' -> _of_isSeparable' Add "ready-to-merge" and "delegated" label from comment #65512: Issue comment #19182 (comment) created by mathlib-bors bot

November 18, 2024 16:07

[Merged by Bors] - doc: Result.isRat assumes coprimality Add "ready-to-merge" and "delegated" label from comment #65511: Issue comment #19207 (comment) created by mathlib-bors bot

November 18, 2024 16:07

feat(Combinatorics/SimpleGraph/Matching): add IsMatching.exists_of_disjoint_sets_of_card_eq Add "ready-to-merge" and "delegated" label from comment #65510: Issue comment #18905 (comment) created by mathlib-bors bot

November 18, 2024 16:06

[Merged by Bors] - feat(Algebra): Submodule R A is algebra over Ideal A Add "ready-to-merge" and "delegated" label from comment #65509: Issue comment #18493 (comment) created by alreadydone

November 18, 2024 16:00

12s

November 18, 2024 16:00

12s

feat(LinearAlgebra/Matrix): Permanent Add "ready-to-merge" and "delegated" label from comment #65508: Issue comment #18936 (comment) created by loefflerd

November 18, 2024 15:59

[Merged by Bors] - fix: linear_combination with an additive constant Add "ready-to-merge" and "delegated" label from comment #65507: Issue comment #19082 (comment) created by hrmacbeth

November 18, 2024 15:58

16s

November 18, 2024 15:58

16s

feat(LinearAlgebra/Matrix): Permanent Add "ready-to-merge" and "delegated" label from comment #65506: Issue comment #18936 (comment) created by mo271

November 18, 2024 15:57

feat(LinearAlgebra/Matrix): Permanent Add "ready-to-merge" and "delegated" label from comment #65505: Issue comment #18936 (comment) created by loefflerd

November 18, 2024 15:51

feat(Topology/Connected/PathConnected): some instances for locally path-connected spaces Add "ready-to-merge" and "delegated" label from comment #65504: Issue comment #17064 (comment) created by grunweg

November 18, 2024 15:48

feat(Topology/Connected/PathConnected): some instances for locally path-connected spaces Add "ready-to-merge" and "delegated" label from comment #65503: Issue comment #17064 (comment) created by peabrainiac

November 18, 2024 15:46

[Merged by Bors] - chore: add some simp and fun_prop attributes Add "ready-to-merge" and "delegated" label from comment #65502: Issue comment #18874 (comment) created by mathlib-bors bot

November 18, 2024 15:35

feat(Topology/Connected/PathConnected): some instances for locally path-connected spaces Add "ready-to-merge" and "delegated" label from comment #65501: Issue comment #17064 (comment) created by grunweg

November 18, 2024 15:28

feat(RingTheory/MvPolynomial/Ideal): introduce new lemmas about MvPolynomial Ideals Add "ready-to-merge" and "delegated" label from comment #65500: Issue comment #15809 (comment) created by riccardobrasca

November 18, 2024 15:28

[Merged by Bors] - doc: Result.isRat assumes coprimality Add "ready-to-merge" and "delegated" label from comment #65499: Issue comment #19207 (comment) created by digama0

November 18, 2024 15:23

15s

November 18, 2024 15:23

15s

chore: some renames iff_open -> iff_isOpen Add "ready-to-merge" and "delegated" label from comment #65498: Issue comment #19209 (comment) created by mathlib-bors bot

November 18, 2024 15:22

feat(Rat/Denumerable): Use continued fractions for denumerability Add "ready-to-merge" and "delegated" label from comment #65497: Issue comment #18580 (comment) created by mathlib4-dependent-issues-bot

November 18, 2024 15:22

[Merged by Bors] - fix: linear_combination with an additive constant Add "ready-to-merge" and "delegated" label from comment #65496: Issue comment #19082 (comment) created by mathlib-bors bot

November 18, 2024 15:21

[Merged by Bors] - fix: linear_combination with an additive constant Add "ready-to-merge" and "delegated" label from comment #65495: Issue comment #19082 (comment) created by fpvandoorn

November 18, 2024 15:21

12s

November 18, 2024 15:21

12s

[Merged by Bors] - chore: add some simp and fun_prop attributes Add "ready-to-merge" and "delegated" label from comment #65494: Issue comment #18874 (comment) created by j-loreaux

November 18, 2024 15:16

19s

November 18, 2024 15:16

19s

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Actions

Workflows

Management