Skip to content

Actions: leanprover-community/mathlib4

Actions

Maintainer merge

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
maintainer_merge.yml
207,807 workflow runs
207,807 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore(LinearAlgebra/Dual): deprecate Module.dualPairing Maintainer merge #244855: Issue comment #37542 (comment) created by artie2000
1s
1s
chore(Geometry/Convex/Cone): deprecate ConvexCone.IsGenerating Maintainer merge #244854: Issue comment #37417 (comment) created by ocfnash
1s
1s
feat: set up API for ConvexSpace Maintainer merge #244853: Pull request #37592 created by erdOne
1s
1s
feat: set up API for ConvexSpace Maintainer merge #244852: Pull request #37592 submitted by erdOne
2s
2s
chore(Geometry/Convex/Cone): deprecate ConvexCone.IsGenerating Maintainer merge #244851: Issue comment #37417 (comment) created by YaelDillies
2s
2s
feat(RingTheory/Localization/BaseChange): tensor product commutes with localizations Maintainer merge #244850: Pull request #37380 created by robin-carlier
1s
1s
feat(RingTheory/Localization/BaseChange): tensor product commutes with localizations Maintainer merge #244849: Pull request #37380 created by robin-carlier
1s
1s
feat(RingTheory/Localization/BaseChange): tensor product commutes with localizations Maintainer merge #244848: Pull request #37380 created by robin-carlier
1s
1s
feat(RingTheory/Localization/BaseChange): tensor product commutes with localizations Maintainer merge #244847: Pull request #37380 created by robin-carlier
1s
1s
feat(RingTheory/Localization/BaseChange): tensor product commutes with localizations Maintainer merge #244846: Pull request #37380 submitted by robin-carlier
1s
1s
chore(LinearAlgebra/Dual): deprecate Module.dualPairing Maintainer merge #244845: Pull request #37542 submitted by artie2000
2s
2s
chore(LinearAlgebra/Dual): deprecate Module.dualPairing Maintainer merge #244844: Pull request #37542 created by artie2000
1s
1s
[Merged by Bors] - feat: any set is pairwise disjoint under the singleton function Maintainer merge #244843: Issue comment #37548 (comment) created by mathlib-bors bot
1s
1s
feat(Order/LiminfLimsup): add iSup_liminf_le_liminf_iSup Maintainer merge #244842: Pull request #37549 submitted by pitmonticone
1s
1s
feat(Order/LiminfLimsup): add iSup_liminf_le_liminf_iSup Maintainer merge #244841: Pull request #37549 created by pitmonticone
1s
1s
feat(RingTheory/IsAdjoinRoot): add mkOfAdjoinEqTop' Maintainer merge #244840: Issue comment #36421 (comment) created by artie2000
1s
1s
feat(RingTheory/Smooth): some lemmas about formally smooth Maintainer merge #244839: Pull request #35675 created by riccardobrasca
1s
1s
feat(RingTheory/Smooth): some lemmas about formally smooth Maintainer merge #244838: Pull request #35675 submitted by riccardobrasca
Skipped
Skipped
feat(RingTheory/Flat): finite flat algebra is trivial if rank is equal to 1 Maintainer merge #244837: Issue comment #36399 (comment) created by chrisflav
1s
1s
feat(RingTheory/Flat): finite flat algebra is trivial if rank is equal to 1 Maintainer merge #244836: Pull request #36399 created by chrisflav
1s
1s
feat(RingTheory/Flat): finite flat algebra is trivial if rank is equal to 1 Maintainer merge #244835: Pull request #36399 submitted by chrisflav
1s
1s
feat(Order/LiminfLimsup): add iSup_liminf_le_liminf_iSup Maintainer merge #244834: Issue comment #37549 (comment) created by pitmonticone
1s
1s
refactor(Data.Finset.MulAntidiagonal): rename set-based mulAntidiagonal to setMulAntidiagonal Maintainer merge #244833: Issue comment #34551 (comment) created by IlPreteRosso
1s
1s
feat(Order/ConditionallyCompleteLattice): Generalize and add cbiSup/cbiInf theorems Maintainer merge #244832: Pull request #37526 submitted by YaelDillies
11s
11s
feat(MeasureTheory/Integral/Bochner): add exists_ne_zero_of_integral_ne_zero and exists_ne_zero_of_setIntegral_ne_zero Maintainer merge #244831: Issue comment #37568 (comment) created by pitmonticone
1s
1s