Skip to content

Actions: leanprover-community/mathlib4

Actions

Label PR based on Comment

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
labels_from_comment.yml
48,706 workflow runs
48,706 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[Merged by Bors] - chore: update Mathlib dependencies 2024-12-12 Label PR based on Comment #48706: Issue comment #19917 (comment) created by mathlib-bors bot
December 12, 2024 14:57 3s
December 12, 2024 14:57 3s
[Merged by Bors] - chore: update Mathlib dependencies 2024-12-12 Label PR based on Comment #48705: Issue comment #19917 (comment) created by leanprover-community-mathlib4-bot
December 12, 2024 14:48 2s
December 12, 2024 14:48 2s
chore: unnamespace Matrix.dotProduct Label PR based on Comment #48704: Issue comment #19910 (comment) created by madvorak
December 12, 2024 14:39 2s
December 12, 2024 14:39 2s
feat(Algebra/Module): definition of R-lattices Label PR based on Comment #48703: Issue comment #19902 (comment) created by acmepjz
December 12, 2024 14:38 2s
December 12, 2024 14:38 2s
refactor(fderiv): redefine fderivWithin and fderiv Label PR based on Comment #48702: Issue comment #19694 (comment) created by mathlib-bors bot
December 12, 2024 14:19 2s
December 12, 2024 14:19 2s
refactor(fderiv): redefine fderivWithin and fderiv Label PR based on Comment #48701: Issue comment #19694 (comment) created by sgouezel
December 12, 2024 14:19 1s
December 12, 2024 14:19 1s
feat: generalize Ideal.spanNorm to allow non free extensions Label PR based on Comment #48700: Issue comment #19244 (comment) created by riccardobrasca
December 12, 2024 14:13 2s
December 12, 2024 14:13 2s
feat(Topology/Category): category of delta-generated spaces Label PR based on Comment #48699: Issue comment #19499 (comment) created by peabrainiac
December 12, 2024 14:10 3s
December 12, 2024 14:10 3s
feat(CategoryTheory/Localization): liftings of bifunctors Label PR based on Comment #48698: Issue comment #19894 (comment) created by dagurtomas
December 12, 2024 13:58 2s
December 12, 2024 13:58 2s
feat(Topology/Category): category of delta-generated spaces Label PR based on Comment #48697: Issue comment #19499 (comment) created by peabrainiac
December 12, 2024 13:52 1s
December 12, 2024 13:52 1s
feat(Algebra/Module): definition of R-lattices Label PR based on Comment #48696: Issue comment #19902 (comment) created by chrisflav
December 12, 2024 13:08 2s
December 12, 2024 13:08 2s
feat(Topology/Category): category of delta-generated spaces Label PR based on Comment #48695: Issue comment #19499 (comment) created by grunweg
December 12, 2024 12:26 2s
December 12, 2024 12:26 2s
feat(Topology/Category): category of delta-generated spaces Label PR based on Comment #48694: Issue comment #19499 (comment) created by grunweg
December 12, 2024 12:26 2s
December 12, 2024 12:26 2s
feat(Topology/Category): category of delta-generated spaces Label PR based on Comment #48693: Issue comment #19499 (comment) created by grunweg
December 12, 2024 12:24 2s
December 12, 2024 12:24 2s
feat(Topology/Category): category of delta-generated spaces Label PR based on Comment #48692: Issue comment #19499 (comment) created by grunweg
December 12, 2024 12:24 3s
December 12, 2024 12:24 3s
feat(CategoryTheory/Sites): categories of sheaves are monoidal Label PR based on Comment #48691: Issue comment #19915 (comment) created by mathlib4-dependent-issues-bot
December 12, 2024 12:23 2s
December 12, 2024 12:23 2s
[Merged by Bors] - feat(AlgebraicTopology): define the simplicial nerve of a simplicial category Label PR based on Comment #48690: Issue comment #19837 (comment) created by mathlib-bors bot
December 12, 2024 12:14 3s
December 12, 2024 12:14 3s
[Merged by Bors] - feat(AlgebraicTopology): define the simplicial nerve of a simplicial category Label PR based on Comment #48689: Issue comment #19837 (comment) created by dagurtomas
December 12, 2024 11:31 2s
December 12, 2024 11:31 2s
chore: unnamespace Matrix.dotProduct Label PR based on Comment #48688: Issue comment #19910 (comment) created by madvorak
December 12, 2024 11:22 2s
December 12, 2024 11:22 2s
[Merged by Bors] - feat(AlgebraicTopology): define the simplicial nerve of a simplicial category Label PR based on Comment #48687: Issue comment #19837 (comment) created by mathlib-bors bot
December 12, 2024 11:15 2s
December 12, 2024 11:15 2s
[Merged by Bors] - feat: sup-closed sets are closed under finite suprema Label PR based on Comment #48686: Issue comment #18990 (comment) created by YaelDillies
December 12, 2024 11:09 2s
December 12, 2024 11:09 2s
feat(CategoryTheory): AB5 and AB4* for condensed modules Label PR based on Comment #48685: Issue comment #19892 (comment) created by mathlib4-dependent-issues-bot
December 12, 2024 11:02 3s
December 12, 2024 11:02 3s
refactor(fderiv): redefine fderivWithin and fderiv Label PR based on Comment #48684: Issue comment #19694 (comment) created by mathlib-bors bot
December 12, 2024 10:38 2s
December 12, 2024 10:38 2s
refactor(fderiv): redefine fderivWithin and fderiv Label PR based on Comment #48683: Issue comment #19694 (comment) created by sgouezel
December 12, 2024 10:35 3s
December 12, 2024 10:35 3s
feat(Algebra/Module): definition of R-lattices Label PR based on Comment #48682: Issue comment #19902 (comment) created by acmepjz
December 12, 2024 10:07 2s
December 12, 2024 10:07 2s