Skip to content

Actions: leanprover-community/mathlib4

Actions

Detect changes to header SHAs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
37,674 workflow runs
37,674 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[Merged by Bors] - feat(RingTheory/PowerSeries/WellKnown): the power series of 1 / ((1 - x) ^ (d + 1)) with coefficients in a commutative ring S, where d : ℕ. Detect changes to header SHAs #53688: Pull request #11255 synchronize by FMLJohn
May 10, 2024 15:00 3m 2s one_sub_pow_inv
one_sub_pow_inv
May 10, 2024 15:00 3m 2s
[Merged by Bors] - feat: Complete homogeneous and monomial symmetric polynomials Detect changes to header SHAs #53687: Pull request #12572 synchronize by SashaIr
May 10, 2024 14:44 1m 30s sashair-hm-symmetric-polynomials
sashair-hm-symmetric-polynomials
May 10, 2024 14:44 1m 30s
[Merged by Bors] - feat: Complete homogeneous and monomial symmetric polynomials Detect changes to header SHAs #53686: Pull request #12572 synchronize by SashaIr
May 10, 2024 14:43 1m 34s sashair-hm-symmetric-polynomials
sashair-hm-symmetric-polynomials
May 10, 2024 14:43 1m 34s
[Merged by Bors] - feat(CategoryTheory/Sites): 1-hypercovers Detect changes to header SHAs #53685: Pull request #12803 synchronize by joelriou
May 10, 2024 14:40 26s one-hypercover
one-hypercover
May 10, 2024 14:40 26s
[Merged by Bors] - chore: remove a save Detect changes to header SHAs #53684: Pull request #12805 opened by adomani
May 10, 2024 14:40 27s adomani/remove_save
adomani/remove_save
May 10, 2024 14:40 27s
[Merged by Bors] - refactor(Measure): replace trimmed with trim_le Detect changes to header SHAs #53683: Pull request #12794 synchronize by urkud
May 10, 2024 14:38 30s YK-trim-le
YK-trim-le
May 10, 2024 14:38 30s
[Merged by Bors] - feat: Complete homogeneous and monomial symmetric polynomials Detect changes to header SHAs #53682: Pull request #12572 synchronize by SashaIr
May 10, 2024 14:37 1m 30s sashair-hm-symmetric-polynomials
sashair-hm-symmetric-polynomials
May 10, 2024 14:37 1m 30s
[Merged by Bors] - chore: split RingTheory.Ideal.Operations Detect changes to header SHAs #53681: Pull request #12777 synchronize by xroblot
May 10, 2024 14:36 29s xfr-split_ideal_operations
xfr-split_ideal_operations
May 10, 2024 14:36 29s
[Merged by Bors] - feat: define logarithmic derivatives Detect changes to header SHAs #53680: Pull request #12804 opened by CBirkbeck
May 10, 2024 14:34 26s logarithmic_derivatives
logarithmic_derivatives
May 10, 2024 14:34 26s
[Merged by Bors] - feat(CategoryTheory/Sites): 1-hypercovers Detect changes to header SHAs #53679: Pull request #12803 opened by joelriou
May 10, 2024 14:21 36s one-hypercover
one-hypercover
May 10, 2024 14:21 36s
[Merged by Bors] - feat: Complete homogeneous and monomial symmetric polynomials Detect changes to header SHAs #53678: Pull request #12572 synchronize by SashaIr
May 10, 2024 14:20 1m 27s sashair-hm-symmetric-polynomials
sashair-hm-symmetric-polynomials
May 10, 2024 14:20 1m 27s
[Merged by Bors] - chore(CategoryTheory/Sites): generalise universes for extensive sheaves Detect changes to header SHAs #53677: Pull request #12801 synchronize by dagurtomas
May 10, 2024 14:18 33s dagur_ExtensiveSheafUniverse
dagur_ExtensiveSheafUniverse
May 10, 2024 14:18 33s
[Merged by Bors] - feat: Complete homogeneous and monomial symmetric polynomials Detect changes to header SHAs #53676: Pull request #12572 synchronize by SashaIr
May 10, 2024 14:15 1m 53s sashair-hm-symmetric-polynomials
sashair-hm-symmetric-polynomials
May 10, 2024 14:15 1m 53s
[Merged by Bors] - feat: add Equiv.prodSubtypeFstEquivSubtypeProd Detect changes to header SHAs #53675: Pull request #12802 synchronize by xroblot
May 10, 2024 14:13 24s xfr-prodSubtypeEquivSubtypeProd
xfr-prodSubtypeEquivSubtypeProd
May 10, 2024 14:13 24s
[Merged by Bors] - feat: add Equiv.prodSubtypeFstEquivSubtypeProd Detect changes to header SHAs #53674: Pull request #12802 opened by xroblot
May 10, 2024 13:37 24s xfr-prodSubtypeEquivSubtypeProd
xfr-prodSubtypeEquivSubtypeProd
May 10, 2024 13:37 24s
[Merged by Bors] - chore(CategoryTheory/Sites): generalise universes for extensive sheaves Detect changes to header SHAs #53673: Pull request #12801 opened by dagurtomas
May 10, 2024 13:11 27s dagur_ExtensiveSheafUniverse
dagur_ExtensiveSheafUniverse
May 10, 2024 13:11 27s
[Merged by Bors] - feat(Topology/Algebra/Algebra): add ContinuousAlgHom Detect changes to header SHAs #53672: Pull request #12800 synchronize by mariainesdff
May 10, 2024 12:32 27s mariainesdff/continuous_alg_hom
mariainesdff/continuous_alg_hom
May 10, 2024 12:32 27s
[Merged by Bors] - feat(Topology/Algebra/Algebra): add ContinuousAlgHom Detect changes to header SHAs #53671: Pull request #12800 opened by mariainesdff
May 10, 2024 12:31 30s mariainesdff/continuous_alg_hom
mariainesdff/continuous_alg_hom
May 10, 2024 12:31 30s
[Merged by Bors] - feat: Positivity extension for NNRat.num/NNRat.den Detect changes to header SHAs #53670: Pull request #12732 synchronize by YaelDillies
May 10, 2024 12:26 34s positivity_nnrat_num
positivity_nnrat_num
May 10, 2024 12:26 34s
[Merged by Bors] - chore(CategoryTheory/Sites): generalise universes and assumptions in CoverLifting file Detect changes to header SHAs #53669: Pull request #12798 synchronize by dagurtomas
May 10, 2024 11:58 26s dagur_CoverLiftingUniverse
dagur_CoverLiftingUniverse
May 10, 2024 11:58 26s
[Merged by Bors] - chore: split RingTheory.Ideal.Operations Detect changes to header SHAs #53668: Pull request #12777 synchronize by xroblot
May 10, 2024 11:52 33s xfr-split_ideal_operations
xfr-split_ideal_operations
May 10, 2024 11:52 33s
[Merged by Bors] - chore(CategoryTheory/Sites): generalise universes and assumptions in CoverLifting file Detect changes to header SHAs #53667: Pull request #12798 synchronize by dagurtomas
May 10, 2024 11:32 32s dagur_CoverLiftingUniverse
dagur_CoverLiftingUniverse
May 10, 2024 11:32 32s
perf: decouple algebraic and order hierarchies in type class search Detect changes to header SHAs #53666: Pull request #12778 synchronize by MichaelStollBayreuth
May 10, 2024 11:31 34s MS_tc_order_algebra
MS_tc_order_algebra
May 10, 2024 11:31 34s
feat(LinearAlgebra/UnitaryGroup): Add properties of Special Unitary Group Detect changes to header SHAs #53665: Pull request #12799 opened by jstoobysmith
May 10, 2024 11:29 25s jstoobysmith/PropertiesOfSpecialUnitary
jstoobysmith/PropertiesOfSpecialUnitary
May 10, 2024 11:29 25s
perf: decouple algebraic and order hierarchies in type class search Detect changes to header SHAs #53664: Pull request #12778 synchronize by MichaelStollBayreuth
May 10, 2024 11:14 36s MS_tc_order_algebra
MS_tc_order_algebra
May 10, 2024 11:14 36s