Skip to content

Actions: leanprover-community/mathlib4

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(CategoryTheory/Sites): 1-hypercovers
Detect changes to header SHAs #53685: Pull request #12803 synchronize by joelriou
May 10, 2024 14:40 26s 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
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
May 10, 2024 14:38 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
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
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
May 10, 2024 14:21 36s
[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
May 10, 2024 12:26 34s
[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
May 10, 2024 11:52 33s
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
May 10, 2024 11:31 34s
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
May 10, 2024 11:14 36s