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(algebra/hom/centroid): Centre of the Centroid of a *-ring is a *-ring Detect changes to header SHAs #53613: Pull request #6595 synchronize by mans0954
May 9, 2024 20:05 32s mans0954/centroid_star
mans0954/centroid_star
May 9, 2024 20:05 32s
[Merged by Bors] - feat: syntax linter for #-commands Detect changes to header SHAs #53612: Pull request #11019 synchronize by adomani
May 9, 2024 20:05 29s adomani/hash_command_linter
adomani/hash_command_linter
May 9, 2024 20:05 29s
[Merged by Bors] - feat: unused tactic linter Detect changes to header SHAs #53611: Pull request #11308 synchronize by adomani
May 9, 2024 20:03 26s adomani/useless_tactic
adomani/useless_tactic
May 9, 2024 20:03 26s
[Merged by Bors] - feat: BoundedMul class to generalize multiplication of bounded continuous functions. Detect changes to header SHAs #53610: Pull request #12790 opened by kkytola
May 9, 2024 20:02 23s kkytola/mul_boundedContinuousFunction
kkytola/mul_boundedContinuousFunction
May 9, 2024 20:02 23s
[Merged by Bors] - feat(Tactic/Linarith): Simplex Algorithm oracle Detect changes to header SHAs #53609: Pull request #12014 synchronize by eric-wieser
May 9, 2024 19:58 24s vasnesterov_linarith_simplex_algo
vasnesterov_linarith_simplex_algo
May 9, 2024 19:58 24s
[Merged by Bors] - feat(algebra/hom/centroid): Centre of the Centroid of a *-ring is a *-ring Detect changes to header SHAs #53608: Pull request #6595 synchronize by mans0954
May 9, 2024 19:50 35s mans0954/centroid_star
mans0954/centroid_star
May 9, 2024 19:50 35s
[Merged by Bors] - chore(WittVector.Isocrystal): remove helper local instance Detect changes to header SHAs #53607: Pull request #12789 opened by mattrobball
May 9, 2024 19:42 30s mrb/remove_isocrystal_helper
mrb/remove_isocrystal_helper
May 9, 2024 19:42 30s
perf: decouple algebraic and order hierarchies in type class search Detect changes to header SHAs #53606: Pull request #12778 synchronize by MichaelStollBayreuth
May 9, 2024 18:17 24s MS_tc_order_algebra
MS_tc_order_algebra
May 9, 2024 18:17 24s
[Merged by Bors] - feat: unused tactic linter Detect changes to header SHAs #53605: Pull request #11308 synchronize by adomani
May 9, 2024 18:08 1m 8s adomani/useless_tactic
adomani/useless_tactic
May 9, 2024 18:08 1m 8s
[Merged by Bors] - feat: syntax linter for #-commands Detect changes to header SHAs #53604: Pull request #11019 synchronize by adomani
May 9, 2024 18:06 2m 11s adomani/hash_command_linter
adomani/hash_command_linter
May 9, 2024 18:06 2m 11s
[Merged by Bors] - feat: add count_heartbeats! command, and tactic mode count_heartbeats Detect changes to header SHAs #53603: Pull request #9733 synchronize by adomani
May 9, 2024 18:03 3m 45s heartbeats_variation
heartbeats_variation
May 9, 2024 18:03 3m 45s
[Merged by Bors] - chore: update mk_all script and use it in CI Detect changes to header SHAs #53602: Pull request #11849 synchronize by adomani
May 9, 2024 17:46 25s adomani/merge_mk_all
adomani/merge_mk_all
May 9, 2024 17:46 25s
[Merged by Bors] - chore: update mk_all script and use it in CI Detect changes to header SHAs #53601: Pull request #11849 synchronize by adomani
May 9, 2024 17:44 25s adomani/merge_mk_all
adomani/merge_mk_all
May 9, 2024 17:44 25s
[Merged by Bors] - move: new Mathlib.Tactic.Linter dir Detect changes to header SHAs #53600: Pull request #11807 synchronize by adomani
May 9, 2024 17:36 28s adomani/create_linters
adomani/create_linters
May 9, 2024 17:36 28s
[Merged by Bors] - chore: uncdot up to and including CategoryTheory Detect changes to header SHAs #53599: Pull request #12521 synchronize by adomani
May 9, 2024 17:36 24s adomani/uncdot_up_to_category_theory
adomani/uncdot_up_to_category_theory
May 9, 2024 17:36 24s
feat: auto-bugs Detect changes to header SHAs #53598: Pull request #12054 synchronize by adomani
May 9, 2024 17:33 29s adomani/test_all
adomani/test_all
May 9, 2024 17:33 29s
[Merged by Bors] - chore: update mk_all script and use it in CI Detect changes to header SHAs #53597: Pull request #11849 synchronize by adomani
May 9, 2024 17:28 30s adomani/merge_mk_all
adomani/merge_mk_all
May 9, 2024 17:28 30s
[Merged by Bors] - chore: update mk_all script and use it in CI Detect changes to header SHAs #53596: Pull request #11849 synchronize by adomani
May 9, 2024 17:22 26s adomani/merge_mk_all
adomani/merge_mk_all
May 9, 2024 17:22 26s
[Merged by Bors] - chore: update mk_all script and use it in CI Detect changes to header SHAs #53595: Pull request #11849 synchronize by adomani
May 9, 2024 17:21 32s adomani/merge_mk_all
adomani/merge_mk_all
May 9, 2024 17:21 32s
[Merged by Bors] - chore(Analysis/SpecialFunctions/Exp): deal with TODO Detect changes to header SHAs #53594: Pull request #12781 synchronize by MichaelStollBayreuth
May 9, 2024 17:14 33s MS_remove_TODO_exp
MS_remove_TODO_exp
May 9, 2024 17:14 33s
[Merged by Bors] - refactor: move theorem about lists to batteries Detect changes to header SHAs #53593: Pull request #12540 synchronize by chabulhwi
May 9, 2024 17:13 27s chabulhwi/list-theorems
chabulhwi/list-theorems
May 9, 2024 17:13 27s
feat: auto-bugs Detect changes to header SHAs #53592: Pull request #12054 synchronize by adomani
May 9, 2024 17:13 26s adomani/test_all
adomani/test_all
May 9, 2024 17:13 26s
[Merged by Bors] - refactor: move theorem about lists to batteries Detect changes to header SHAs #53591: Pull request #12540 synchronize by chabulhwi
May 9, 2024 17:10 26s chabulhwi/list-theorems
chabulhwi/list-theorems
May 9, 2024 17:10 26s
[Merged by Bors] - feat: lake exe mk_all in CI Detect changes to header SHAs #53590: Pull request #11874 synchronize by adomani
May 9, 2024 17:04 27s yad/mkAll_in_CI
yad/mkAll_in_CI
May 9, 2024 17:04 27s
[Merged by Bors] - chore: uncdot various files Detect changes to header SHAs #53589: Pull request #12422 synchronize by adomani
May 9, 2024 17:00 36s adomani/uncdot_mathlib
adomani/uncdot_mathlib
May 9, 2024 17:00 36s