Skip to content

Actions: leanprover-community/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,316,694 workflow runs
1,316,694 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore(Data/Multiset): repair markdown link by removing line break (#2… continuous integration #203205: Commit aff19ec pushed by mathlib4-update-dependencies-bot
September 6, 2025 05:07 In progress update-dependencies-bot-use-only
update-dependencies-bot-use-only
September 6, 2025 05:07 In progress
Update Mathlib Dependencies Update Mathlib Dependencies #10799: Scheduled
September 6, 2025 05:06 59s master
master
September 6, 2025 05:06 59s
Merge conflicts Merge conflicts #90450: Scheduled
September 6, 2025 05:06 In progress master
master
September 6, 2025 05:06 In progress
Dependent Issues Dependent Issues #92339: Scheduled
September 6, 2025 05:02 10s master
master
September 6, 2025 05:02 10s
Maintainer merge (workflow_run) Maintainer merge (workflow_run) #33509: completed by mathlib-bors bot
September 6, 2025 05:01 11s
September 6, 2025 05:01 11s
Add "ready-to-merge" and "delegated" label (workflow_run) Add "ready-to-merge" and "delegated" label (workflow_run) #31670: completed by mathlib-bors bot
September 6, 2025 05:01 8s
September 6, 2025 05:01 8s
Add "ready-to-merge" and "delegated" label (workflow_run) Add "ready-to-merge" and "delegated" label (workflow_run) #31669: completed by mathlib-bors bot
September 6, 2025 05:01 9s
September 6, 2025 05:01 9s
Maintainer merge (workflow_run) Maintainer merge (workflow_run) #33508: completed by mathlib-bors bot
September 6, 2025 05:01 11s
September 6, 2025 05:01 11s
[Merged by Bors] - chore: deprecate OrderedSMul Add "closed-pr" emoji in Zulip #3687: Pull request #28817 closed by mathlib-bors bot
September 6, 2025 05:01 7s
September 6, 2025 05:01 7s
[Merged by Bors] - chore: deprecate OrderedSMul Cross off linked issues #8156: Pull request #28817 closed by mathlib-bors bot
September 6, 2025 05:01 6s YaelDillies:is_ordered_module
YaelDillies:is_ordered_module
September 6, 2025 05:01 6s
[Merged by Bors] - chore: deprecate OrderedSMul Label PR based on Comment #84421: Issue comment #28817 (comment) created by mathlib-bors bot
September 6, 2025 05:01 7s
September 6, 2025 05:01 7s
[Merged by Bors] - chore: deprecate OrderedSMul Maintainer merge #127051: Issue comment #28817 (comment) created by mathlib-bors bot
September 6, 2025 05:01 6s
September 6, 2025 05:01 6s
[Merged by Bors] - chore: deprecate OrderedSMul Add "ready-to-merge" and "delegated" label #114771: Issue comment #28817 (comment) created by mathlib-bors bot
September 6, 2025 05:01 8s
September 6, 2025 05:01 8s
[Merged by Bors] - chore: deprecate OrderedSMul Bench output summary #42584: Issue comment #28817 (comment) created by mathlib-bors bot
September 6, 2025 05:01 Skipped
September 6, 2025 05:01 Skipped
[Merged by Bors] - chore: deprecate OrderedSMul bot fix style #78361: Issue comment #28817 (comment) created by mathlib-bors bot
September 6, 2025 05:01 7s
September 6, 2025 05:01 7s
[Merged by Bors] - chore(Data/Multiset): repair markdown link by removing line break Label PR based on Comment #84420: Issue comment #29371 (comment) created by mathlib-bors bot
September 6, 2025 05:01 4s
September 6, 2025 05:01 4s
[Merged by Bors] - chore(Data/Multiset): repair markdown link by removing line break Maintainer merge #127050: Issue comment #29371 (comment) created by mathlib-bors bot
September 6, 2025 05:01 9s
September 6, 2025 05:01 9s
[Merged by Bors] - chore(Data/Multiset): repair markdown link by removing line break Bench output summary #42583: Issue comment #29371 (comment) created by mathlib-bors bot
September 6, 2025 05:01 1s
September 6, 2025 05:01 1s
[Merged by Bors] - chore(Data/Multiset): repair markdown link by removing line break bot fix style #78360: Issue comment #29371 (comment) created by mathlib-bors bot
September 6, 2025 05:01 7s
September 6, 2025 05:01 7s
[Merged by Bors] - chore(Data/Multiset): repair markdown link by removing line break Add "ready-to-merge" and "delegated" label #114770: Issue comment #29371 (comment) created by mathlib-bors bot
September 6, 2025 05:01 8s
September 6, 2025 05:01 8s
[Merged by Bors] - chore(Data/Multiset): repair markdown link by removing line break Add "closed-pr" emoji in Zulip #3686: Pull request #29371 closed by mathlib-bors bot
September 6, 2025 05:01 6s
September 6, 2025 05:01 6s
chore(Data/Multiset): repair markdown link by removing line break (#2… Zulip emoji merge update #5807: Commit aff19ec pushed by mathlib-bors bot
September 6, 2025 05:01 46s master
master
September 6, 2025 05:01 46s
chore(Data/Multiset): repair markdown link by removing line break (#2… continuous integration #203204: Commit aff19ec pushed by mathlib-bors bot
September 6, 2025 05:01 In progress master
master
September 6, 2025 05:01 In progress
feat: PosMulStrictMono Ordinal lint and suggest #112204: Pull request #28943 synchronize by vihdzp
September 6, 2025 04:56 2m 2s vihdzp:vi.ord_mul
vihdzp:vi.ord_mul
September 6, 2025 04:56 2m 2s
feat: PosMulStrictMono Ordinal Post PR summary comment #86756: Pull request #28943 synchronize by vihdzp
September 6, 2025 04:56 1m 13s
September 6, 2025 04:56 1m 13s