Skip to content

Actions: leanprover-community/mathlib4

Actions

Maintainer merge

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
maintainer_merge.yml
10,895 workflow runs
10,895 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Maintainer merge Maintainer merge #10770: created by grunweg
December 4, 2024 17:14 13s
December 4, 2024 17:14 13s
Maintainer merge Maintainer merge #10769: submitted by grunweg
December 4, 2024 17:14 24s
December 4, 2024 17:14 24s
[Merged by Bors] - chore(CI): rm duplicate ProofWidgets step Maintainer merge #10768: Issue comment #19729 (comment) created by grunweg
December 4, 2024 17:11 20s
December 4, 2024 17:11 20s
feat(FieldTheory/Differential/Liouville): prove the algebraic case of Liouville's theorem Maintainer merge #10767: Issue comment #16797 (comment) created by Command-Master
December 4, 2024 17:06 12s
December 4, 2024 17:06 12s
Maintainer merge Maintainer merge #10766: created by Command-Master
December 4, 2024 17:04 19s
December 4, 2024 17:04 19s
Maintainer merge Maintainer merge #10765: created by Command-Master
December 4, 2024 17:04 15s
December 4, 2024 17:04 15s
Maintainer merge Maintainer merge #10764: created by Command-Master
December 4, 2024 17:04 44s
December 4, 2024 17:04 44s
Maintainer merge Maintainer merge #10763: created by Command-Master
December 4, 2024 17:04 20s
December 4, 2024 17:04 20s
Maintainer merge Maintainer merge #10762: created by Command-Master
December 4, 2024 17:04 15s
December 4, 2024 17:04 15s
Maintainer merge Maintainer merge #10761: created by Command-Master
December 4, 2024 17:04 13s
December 4, 2024 17:04 13s
Maintainer merge Maintainer merge #10760: created by Command-Master
December 4, 2024 17:04 14s
December 4, 2024 17:04 14s
Maintainer merge Maintainer merge #10759: created by Command-Master
December 4, 2024 17:04 14s
December 4, 2024 17:04 14s
Maintainer merge Maintainer merge #10758: created by Command-Master
December 4, 2024 17:03 17s
December 4, 2024 17:03 17s
Maintainer merge Maintainer merge #10757: submitted by Command-Master
December 4, 2024 17:03 18s
December 4, 2024 17:03 18s
refactor(Algebra/Category/ModuleCat): make ModuleCat.Hom a structure Maintainer merge #10756: Issue comment #19511 (comment) created by leanprover-bot
December 4, 2024 16:43 14s
December 4, 2024 16:43 14s
Maintainer merge Maintainer merge #10755: created by jcommelin
December 4, 2024 16:32 21s
December 4, 2024 16:32 21s
Maintainer merge Maintainer merge #10754: submitted by jcommelin
December 4, 2024 16:32 15s
December 4, 2024 16:32 15s
feat(Analysis/BoxIntegral/UnitPartition): Prove results linking integral point counting and integrals Maintainer merge #10753: Issue comment #12405 (comment) created by mathlib-bors bot
December 4, 2024 16:25 16s
December 4, 2024 16:25 16s
refactor(Algebra/Category/ModuleCat): make ModuleCat.Hom a structure Maintainer merge #10752: Issue comment #19511 (comment) created by jcommelin
December 4, 2024 16:15 27s
December 4, 2024 16:15 27s
feat(Analysis/BoxIntegral/UnitPartition): Prove results linking integral point counting and integrals Maintainer merge #10751: Issue comment #12405 (comment) created by jcommelin
December 4, 2024 15:43 14s
December 4, 2024 15:43 14s
feat: extend smoothness category of manifolds with corners to include analytic manifolds Maintainer merge #10750: Issue comment #19696 (comment) created by sgouezel
December 4, 2024 15:34 44s
December 4, 2024 15:34 44s
feat(RingTheory/Localization/Defs): localization of a direct product injects into product of localizations Maintainer merge #10749: Issue comment #19042 (comment) edited by alreadydone
December 4, 2024 15:10 22s
December 4, 2024 15:10 22s
feat(RingTheory/Localization/Defs): localization of a direct product injects into product of localizations Maintainer merge #10748: Issue comment #19042 (comment) edited by alreadydone
December 4, 2024 15:10 13s
December 4, 2024 15:10 13s
feat(RingTheory/Localization/Defs): localization of a direct product injects into product of localizations Maintainer merge #10747: Issue comment #19042 (comment) created by alreadydone
December 4, 2024 15:09 17s
December 4, 2024 15:09 17s
Maintainer merge Maintainer merge #10746: created by jcommelin
December 4, 2024 14:50 18s
December 4, 2024 14:50 18s