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

feat: (Probability/SubProbabilityMassFunction) Detect changes to header SHAs #53588: Pull request #12581 synchronize by linesthatinterlace
May 9, 2024 16:56 23s linesthatinterlace/subdistributions
linesthatinterlace/subdistributions
May 9, 2024 16:56 23s
[Merged by Bors] - chore: adapt to multiple goal linter 5 Detect changes to header SHAs #53587: Pull request #12560 synchronize by adomani
May 9, 2024 16:43 36s adomani/use_cdots_5
adomani/use_cdots_5
May 9, 2024 16:43 36s
[Merged by Bors] - feat: lake exe mk_all as a Lean executable Detect changes to header SHAs #53586: Pull request #11853 synchronize by adomani
May 9, 2024 16:35 26s adomani/mkAll_in_lean
adomani/mkAll_in_lean
May 9, 2024 16:35 26s
[Merged by Bors] - feat: lake exe mk_all in CI Detect changes to header SHAs #53585: Pull request #11874 synchronize by adomani
May 9, 2024 16:34 33s yad/mkAll_in_CI
yad/mkAll_in_CI
May 9, 2024 16:34 33s
[Merged by Bors] - feat: lake exe mk_all as a Lean executable Detect changes to header SHAs #53584: Pull request #11853 synchronize by adomani
May 9, 2024 16:33 30s adomani/mkAll_in_lean
adomani/mkAll_in_lean
May 9, 2024 16:33 30s
feat: auto-bugs Detect changes to header SHAs #53583: Pull request #12054 synchronize by adomani
May 9, 2024 16:29 30s adomani/test_all
adomani/test_all
May 9, 2024 16:29 30s
feat: auto-bugs Detect changes to header SHAs #53582: Pull request #12054 synchronize by adomani
May 9, 2024 16:26 25s adomani/test_all
adomani/test_all
May 9, 2024 16:26 25s
feat: auto-bugs Detect changes to header SHAs #53581: Pull request #12054 synchronize by adomani
May 9, 2024 16:23 25s adomani/test_all
adomani/test_all
May 9, 2024 16:23 25s
[Merged by Bors] - chore(Order.RelIso): remove some porting notes Detect changes to header SHAs #53580: Pull request #12786 synchronize by mattrobball
May 9, 2024 16:13 40s mrb/clean_up_order_reliso
mrb/clean_up_order_reliso
May 9, 2024 16:13 40s
[Merged by Bors] - chore: shake shake Detect changes to header SHAs #53579: Pull request #12787 synchronize by adomani
May 9, 2024 16:01 26s adomani/cleanupShake
adomani/cleanupShake
May 9, 2024 16:01 26s
[Merged by Bors] - feat(CategoryTheory): right derived functors Detect changes to header SHAs #53578: Pull request #12788 synchronize by joelriou
May 9, 2024 15:09 24s functor-right-derived
functor-right-derived
May 9, 2024 15:09 24s
[Merged by Bors] - feat(CategoryTheory): right derived functors Detect changes to header SHAs #53577: Pull request #12788 synchronize by joelriou
May 9, 2024 15:09 52s functor-right-derived
functor-right-derived
May 9, 2024 15:09 52s
[Merged by Bors] - feat(CategoryTheory): right derived functors Detect changes to header SHAs #53576: Pull request #12788 synchronize by joelriou
May 9, 2024 15:08 26s functor-right-derived
functor-right-derived
May 9, 2024 15:08 26s
[Merged by Bors] - feat(CategoryTheory): transport Kan extensions via equivalences Detect changes to header SHAs #53575: Pull request #12785 synchronize by joelriou
May 9, 2024 15:08 31s functor-kan-extension-equivalences
functor-kan-extension-equivalences
May 9, 2024 15:08 31s
[Merged by Bors] - feat(CategoryTheory): right derived functors Detect changes to header SHAs #53574: Pull request #12788 opened by joelriou
May 9, 2024 15:02 26s functor-right-derived
functor-right-derived
May 9, 2024 15:02 26s
[Merged by Bors] - chore: shake shake Detect changes to header SHAs #53573: Pull request #12787 opened by adomani
May 9, 2024 14:54 29s adomani/cleanupShake
adomani/cleanupShake
May 9, 2024 14:54 29s
[Merged by Bors] - chore: Delete some orphaned porting notes Detect changes to header SHAs #53572: Pull request #10230 synchronize by mattrobball
May 9, 2024 14:45 33s mrb/clean_up_24-02-03
mrb/clean_up_24-02-03
May 9, 2024 14:45 33s
[Merged by Bors] - chore(Order.RelIso): remove some porting notes Detect changes to header SHAs #53571: Pull request #12786 opened by mattrobball
May 9, 2024 14:42 24s mrb/clean_up_order_reliso
mrb/clean_up_order_reliso
May 9, 2024 14:42 24s
[Merged by Bors] - chore: Delete some orphaned porting notes Detect changes to header SHAs #53570: Pull request #10230 synchronize by mattrobball
May 9, 2024 14:39 23s mrb/clean_up_24-02-03
mrb/clean_up_24-02-03
May 9, 2024 14:39 23s
[Merged by Bors] - feat: the homological functor on the homotopy category of cochain complexes in an abelian category Detect changes to header SHAs #53569: Pull request #11760 synchronize by joelriou
May 9, 2024 13:15 30s homotopy-category-homological-functor
homotopy-category-homological-functor
May 9, 2024 13:15 30s
[Merged by Bors] - feat(CategoryTheory): transport Kan extensions via equivalences Detect changes to header SHAs #53568: Pull request #12785 synchronize by joelriou
May 9, 2024 13:11 25s functor-kan-extension-equivalences
functor-kan-extension-equivalences
May 9, 2024 13:11 25s
[Merged by Bors] - feat(CategoryTheory): transport Kan extensions via equivalences Detect changes to header SHAs #53567: Pull request #12785 opened by joelriou
May 9, 2024 13:08 33s functor-kan-extension-equivalences
functor-kan-extension-equivalences
May 9, 2024 13:08 33s
feat(Combinatorics/HypergraphRamsey): Ramsey's theorem for hypergraphs Detect changes to header SHAs #53566: Pull request #12773 synchronize by apnelson1
May 9, 2024 11:41 25s ramsey_hypergraph
ramsey_hypergraph
May 9, 2024 11:41 25s
[Merged by Bors] - chore: split RingTheory.Ideal.Operations Detect changes to header SHAs #53565: Pull request #12777 synchronize by xroblot
May 9, 2024 11:34 28s xfr-split_ideal_operations
xfr-split_ideal_operations
May 9, 2024 11:34 28s
[Merged by Bors] - chore: more deprecations Detect changes to header SHAs #53564: Pull request #12783 opened by kim-em
May 9, 2024 11:30 26s more_deprecations
more_deprecations
May 9, 2024 11:30 26s