Skip to content

Actions: leanprover-community/mathlib4

Actions

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

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
maintainer_bors.yml
13,565 workflow runs
13,565 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat(LowerUpperTopology): add lemmas Add "ready-to-merge" and "delegated" label #13585: Issue comment #20465 (comment) created by sgouezel
January 7, 2025 19:51 15s
January 7, 2025 19:51 15s
Add "ready-to-merge" and "delegated" label Add "ready-to-merge" and "delegated" label #13584: created by sgouezel
January 7, 2025 19:48 12s
January 7, 2025 19:48 12s
Add "ready-to-merge" and "delegated" label Add "ready-to-merge" and "delegated" label #13583: submitted by sgouezel
January 7, 2025 19:48 14s
January 7, 2025 19:48 14s
feat(ContDiff): weaken some assumptions Add "ready-to-merge" and "delegated" label #13582: Issue comment #20368 (comment) created by sgouezel
January 7, 2025 19:44 17s
January 7, 2025 19:44 17s
feat(Algebra/Category/Grp/LargeColimits): large colimits in the category of commutative additive groups Add "ready-to-merge" and "delegated" label #13581: Issue comment #20522 (comment) created by joelriou
January 7, 2025 19:12 13s
January 7, 2025 19:12 13s
Add "ready-to-merge" and "delegated" label Add "ready-to-merge" and "delegated" label #13580: submitted by erdOne
January 7, 2025 18:46 15s
January 7, 2025 18:46 15s
Add "ready-to-merge" and "delegated" label Add "ready-to-merge" and "delegated" label #13579: created by erdOne
January 7, 2025 18:44 11s
January 7, 2025 18:44 11s
Add "ready-to-merge" and "delegated" label Add "ready-to-merge" and "delegated" label #13578: submitted by erdOne
January 7, 2025 18:44 16s
January 7, 2025 18:44 16s
feat: add SpecialFunction MulExpNegMulSq and properties Add "ready-to-merge" and "delegated" label #13577: Issue comment #19781 (comment) created by mathlib4-dependent-issues-bot
January 7, 2025 18:23 12s
January 7, 2025 18:23 12s
Add "ready-to-merge" and "delegated" label Add "ready-to-merge" and "delegated" label #13576: created by artie2000
January 7, 2025 18:06 13s
January 7, 2025 18:06 13s
Add "ready-to-merge" and "delegated" label Add "ready-to-merge" and "delegated" label #13575: submitted by artie2000
January 7, 2025 18:06 17s
January 7, 2025 18:06 17s
Add "ready-to-merge" and "delegated" label Add "ready-to-merge" and "delegated" label #13574: created by artie2000
January 7, 2025 18:06 13s
January 7, 2025 18:06 13s
[Merged by Bors] - feat: results on inner regularity of finite measures Add "ready-to-merge" and "delegated" label #13573: Issue comment #19780 (comment) created by mathlib-bors bot
January 7, 2025 18:04 12s
January 7, 2025 18:04 12s
[Merged by Bors] - feat(FTaylorSeries): add lemmas about dist between 0th and 1st derivs Add "ready-to-merge" and "delegated" label #13572: Issue comment #20089 (comment) created by mathlib-bors bot
January 7, 2025 18:04 12s
January 7, 2025 18:04 12s
[Merged by Bors] - chore(Algebra/Ring): Clean up in SumsOfSquares and Semireal/Defs Add "ready-to-merge" and "delegated" label #13571: Issue comment #20528 (comment) created by mathlib-bors bot
January 7, 2025 18:04 12s
January 7, 2025 18:04 12s
[Merged by Bors] - fix(scripts/technical-debt-metric): avoid division by 0 Add "ready-to-merge" and "delegated" label #13570: Issue comment #20537 (comment) created by mathlib-bors bot
January 7, 2025 18:04 12s
January 7, 2025 18:04 12s
[Merged by Bors] - chore: to_additive various results on groups, group actions Add "ready-to-merge" and "delegated" label #13569: Issue comment #20547 (comment) created by mathlib-bors bot
January 7, 2025 17:42 12s
January 7, 2025 17:42 12s
[Merged by Bors] - chore(Algebra/Ring): Clean up in SumsOfSquares and Semireal/Defs Add "ready-to-merge" and "delegated" label #13568: Issue comment #20528 (comment) created by artie2000
January 7, 2025 17:41 11s
January 7, 2025 17:41 11s
[Merged by Bors] - fix(scripts/technical-debt-metric): avoid division by 0 Add "ready-to-merge" and "delegated" label #13567: Issue comment #20537 (comment) created by adomani
January 7, 2025 17:32 18s
January 7, 2025 17:32 18s
[Merged by Bors] - feat(FTaylorSeries): add lemmas about dist between 0th and 1st derivs Add "ready-to-merge" and "delegated" label #13566: Issue comment #20089 (comment) created by sgouezel
January 7, 2025 17:27 18s
January 7, 2025 17:27 18s
[Merged by Bors] - feat: results on inner regularity of finite measures Add "ready-to-merge" and "delegated" label #13565: Issue comment #19780 (comment) created by sgouezel
January 7, 2025 17:21 16s
January 7, 2025 17:21 16s
[Merged by Bors] - chore: to_additive various results on groups, group actions Add "ready-to-merge" and "delegated" label #13564: Issue comment #20547 (comment) created by AntoineChambert-Loir
January 7, 2025 17:10 16s
January 7, 2025 17:10 16s
chore(Algebra/Algebra/Defs): add an algebraMap field to Algebra instead of extending RingHom Add "ready-to-merge" and "delegated" label #13563: Issue comment #20518 (comment) created by leanprover-bot
January 7, 2025 17:05 13s
January 7, 2025 17:05 13s
[Merged by Bors] - feat(Probability/Kernel): Kernel.sectL and sectR Add "ready-to-merge" and "delegated" label #13562: Issue comment #15466 (comment) created by mathlib-bors bot
January 7, 2025 16:54 11s
January 7, 2025 16:54 11s
[Merged by Bors] - feat(Probability/Kernel): Kernel.sectL and sectR Add "ready-to-merge" and "delegated" label #13561: Issue comment #15466 (comment) created by RemyDegenne
January 7, 2025 16:44 19s
January 7, 2025 16:44 19s