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: 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
[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
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
[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
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
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
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
[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
[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
feat: auto-bugs
Detect changes to header SHAs #53598: Pull request #12054 synchronize by adomani
May 9, 2024 17:33 29s adomani/test_all
[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
[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
[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
[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
[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
feat: auto-bugs
Detect changes to header SHAs #53592: Pull request #12054 synchronize by adomani
May 9, 2024 17:13 26s adomani/test_all
[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
[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
[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