Skip to content

Actions: leanprover-community/mathlib4

Actions

Detect changes to header SHAs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
37,672 workflow runs
37,672 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: adaptations for nightly-2024-05-09 Detect changes to header SHAs #53563: Pull request #12782 opened by kim-em
May 9, 2024 11:28 28s bump/nightly-2024-05-09
bump/nightly-2024-05-09
May 9, 2024 11:28 28s
[Merged by Bors] - feat(NumberTheory/LSeries): Odd Hurwitz zeta functions Detect changes to header SHAs #53562: Pull request #12779 synchronize by loefflerd
May 9, 2024 10:37 30s DL_hurwitz_odd
DL_hurwitz_odd
May 9, 2024 10:37 30s
[Merged by Bors] - chore(Analysis/SpecialFunctions/Exp): deal with TODO Detect changes to header SHAs #53561: Pull request #12781 synchronize by MichaelStollBayreuth
May 9, 2024 10:35 30s MS_remove_TODO_exp
MS_remove_TODO_exp
May 9, 2024 10:35 30s
[Merged by Bors] - chore(Analysis/SpecialFunctions/Exp): deal with TODO Detect changes to header SHAs #53560: Pull request #12781 opened by MichaelStollBayreuth
May 9, 2024 10:32 30s MS_remove_TODO_exp
MS_remove_TODO_exp
May 9, 2024 10:32 30s
[Merged by Bors] - feat: add a version of Ideal.associatesEquivIsPrincipal for generators that are non-zero-divisors Detect changes to header SHAs #53559: Pull request #12780 opened by xroblot
May 9, 2024 10:29 32s xfr-isprincipalequiv_nzd
xfr-isprincipalequiv_nzd
May 9, 2024 10:29 32s
[Merged by Bors] - feat (Mathlib.NumberTheory.Cyclotomic.Three): new file Detect changes to header SHAs #53558: Pull request #12765 synchronize by riccardobrasca
May 9, 2024 10:18 24s RB/kummer
RB/kummer
May 9, 2024 10:18 24s
[Merged by Bors] - feat (Mathlib.NumberTheory.Cyclotomic.Three): new file Detect changes to header SHAs #53557: Pull request #12765 synchronize by riccardobrasca
May 9, 2024 10:17 31s RB/kummer
RB/kummer
May 9, 2024 10:17 31s
[Merged by Bors] - feat (Mathlib.NumberTheory.Cyclotomic.Three): new file Detect changes to header SHAs #53556: Pull request #12765 synchronize by riccardobrasca
May 9, 2024 10:17 31s RB/kummer
RB/kummer
May 9, 2024 10:17 31s
[Merged by Bors] - feat: BoundedSub class to generalize subtraction of bounded continuous functions. Detect changes to header SHAs #53555: Pull request #12559 synchronize by kkytola
May 9, 2024 10:17 36s kkytola/sub_boundedContinuousFunction
kkytola/sub_boundedContinuousFunction
May 9, 2024 10:17 36s
[Merged by Bors] - feat (Mathlib.NumberTheory.Cyclotomic.Three): new file Detect changes to header SHAs #53554: Pull request #12765 synchronize by riccardobrasca
May 9, 2024 10:17 24s RB/kummer
RB/kummer
May 9, 2024 10:17 24s
[Merged by Bors] - feat (Mathlib.NumberTheory.Cyclotomic.Three): new file Detect changes to header SHAs #53553: Pull request #12765 synchronize by riccardobrasca
May 9, 2024 10:16 25s RB/kummer
RB/kummer
May 9, 2024 10:16 25s
[Merged by Bors] - feat(NumberTheory/LSeries): Odd Hurwitz zeta functions Detect changes to header SHAs #53552: Pull request #12779 opened by loefflerd
May 9, 2024 10:05 37s DL_hurwitz_odd
DL_hurwitz_odd
May 9, 2024 10:05 37s
perf: decouple algebraic and order hierarchies in type class search Detect changes to header SHAs #53551: Pull request #12778 synchronize by MichaelStollBayreuth
May 9, 2024 09:44 26s MS_tc_order_algebra
MS_tc_order_algebra
May 9, 2024 09:44 26s
[Merged by Bors] - feat: have/let linter Detect changes to header SHAs #53550: Pull request #12190 synchronize by adomani
May 9, 2024 09:43 30s adomani/have_let_linter_only
adomani/have_let_linter_only
May 9, 2024 09:43 30s
[Merged by Bors] - chore: split RingTheory.Ideal.Operations Detect changes to header SHAs #53549: Pull request #12777 synchronize by xroblot
May 9, 2024 09:20 28s xfr-split_ideal_operations
xfr-split_ideal_operations
May 9, 2024 09:20 28s
perf: decouple algebraic and order hierarchies in type class search Detect changes to header SHAs #53548: Pull request #12778 opened by MichaelStollBayreuth
May 9, 2024 09:13 26s MS_tc_order_algebra
MS_tc_order_algebra
May 9, 2024 09:13 26s
[Merged by Bors] - chore: split RingTheory.Ideal.Operations Detect changes to header SHAs #53547: Pull request #12777 opened by xroblot
May 9, 2024 08:57 31s xfr-split_ideal_operations
xfr-split_ideal_operations
May 9, 2024 08:57 31s
[Merged by Bors] - feat(Rat, NNRat): q * q.den = q.num Detect changes to header SHAs #53546: Pull request #12739 synchronize by YaelDillies
May 9, 2024 07:48 26s mul_den_eq_num
mul_den_eq_num
May 9, 2024 07:48 26s
[Merged by Bors] - feat: have/let linter Detect changes to header SHAs #53545: Pull request #12190 synchronize by adomani
May 9, 2024 07:42 26s adomani/have_let_linter_only
adomani/have_let_linter_only
May 9, 2024 07:42 26s
[Merged by Bors] - feat: have/let linter Detect changes to header SHAs #53544: Pull request #12190 synchronize by adomani
May 9, 2024 07:36 25s adomani/have_let_linter_only
adomani/have_let_linter_only
May 9, 2024 07:36 25s
[Merged by Bors] - feat: Units and Associates of nonZeroDivisors Detect changes to header SHAs #53543: Pull request #12776 opened by xroblot
May 9, 2024 07:35 25s xfr-associates_nzd_alt
xfr-associates_nzd_alt
May 9, 2024 07:35 25s
[Merged by Bors] - feat: Define Pi.orthonormalBasis Detect changes to header SHAs #53542: Pull request #12242 synchronize by eric-wieser
May 9, 2024 07:02 24s xfr-pi_orthonormal_basis
xfr-pi_orthonormal_basis
May 9, 2024 07:02 24s
[Merged by Bors] - feat: every s-finite measure is absolutely continuous w.r.t. some finite measure Detect changes to header SHAs #53541: Pull request #12759 synchronize by RemyDegenne
May 9, 2024 06:47 32s RD_withDensityFinite
RD_withDensityFinite
May 9, 2024 06:47 32s
[Merged by Bors] - feat(algebra/hom/centroid): Centre of the Centroid of a *-ring is a *-ring Detect changes to header SHAs #53540: Pull request #6595 synchronize by mans0954
May 9, 2024 05:13 31s mans0954/centroid_star
mans0954/centroid_star
May 9, 2024 05:13 31s
[Merged by Bors] - feat(Algebra/Ring/Ext): prove extensionality lemmas for Ring and similar typeclasses Detect changes to header SHAs #53539: Pull request #9511 synchronize by raghuram-13
May 9, 2024 04:14 34s raghuram-13/ext-for-rings
raghuram-13/ext-for-rings
May 9, 2024 04:14 34s