Skip to content

Actions: leanprover-community/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,094,907 workflow runs
1,094,907 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge conflicts Merge conflicts #73790: Scheduled
February 21, 2025 00:54 10m 24s master
master
February 21, 2025 00:54 10m 24s
Merge master into nightly-testing continuous integration (mathlib forks) #179493: Commit fb906a7 pushed by leanprover-community-mathlib4-bot
February 21, 2025 00:45 4s nightly-testing
nightly-testing
February 21, 2025 00:45 4s
Merge master into nightly-testing continuous integration #168160: Commit fb906a7 pushed by leanprover-community-mathlib4-bot
February 21, 2025 00:45 13m 7s nightly-testing
nightly-testing
February 21, 2025 00:45 13m 7s
Merge master to nightly Merge master to nightly #4566: Scheduled
February 21, 2025 00:45 1m 0s master
master
February 21, 2025 00:45 1m 0s
Monitor Dependency Update Failures Monitor Dependency Update Failures #6350: completed by mathlib4-update-dependencies-bot
February 21, 2025 00:33 2s
February 21, 2025 00:33 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #126796: completed by mathlib4-update-dependencies-bot
February 21, 2025 00:33 3s
February 21, 2025 00:33 3s
Dependent Issues Dependent Issues #75117: Scheduled
February 21, 2025 00:33 3m 42s master
master
February 21, 2025 00:33 3m 42s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #126795: completed by grunweg
February 21, 2025 00:30 3s
February 21, 2025 00:30 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #126794: completed by mathlib-bors bot
February 21, 2025 00:29 3s
February 21, 2025 00:29 3s
Merge conflicts Merge conflicts #73789: Scheduled
February 21, 2025 00:28 10m 21s master
master
February 21, 2025 00:28 10m 21s
chore(Analysis/Convex/Normed): split into smaller files (#22015) continuous integration (mathlib forks) #179492: Commit befd281 pushed by mathlib4-update-dependencies-bot
February 21, 2025 00:24 3s update-dependencies-bot-use-only
update-dependencies-bot-use-only
February 21, 2025 00:24 3s
chore(Analysis/Convex/Normed): split into smaller files (#22015) continuous integration #168159: Commit befd281 pushed by mathlib4-update-dependencies-bot
February 21, 2025 00:24 8m 59s update-dependencies-bot-use-only
update-dependencies-bot-use-only
February 21, 2025 00:24 8m 59s
Update Mathlib Dependencies Update Mathlib Dependencies #6072: Scheduled
February 21, 2025 00:23 1m 3s master
master
February 21, 2025 00:23 1m 3s
[Merged by Bors] - chore(Analysis/Convex/Normed): split into smaller files Bench output summary #15136: Issue comment #22015 (comment) created by mathlib-bors bot
February 21, 2025 00:19 2s
February 21, 2025 00:19 2s
[Merged by Bors] - chore(Analysis/Convex/Normed): split into smaller files Add "ready-to-merge" and "delegated" label #34216: Issue comment #22015 (comment) created by mathlib-bors bot
February 21, 2025 00:19 15s
February 21, 2025 00:19 15s
[Merged by Bors] - chore(Analysis/Convex/Normed): split into smaller files Maintainer merge #42067: Issue comment #22015 (comment) created by mathlib-bors bot
February 21, 2025 00:19 11s
February 21, 2025 00:19 11s
[Merged by Bors] - chore(Analysis/Convex/Normed): split into smaller files Label PR based on Comment #56973: Issue comment #22015 (comment) created by mathlib-bors bot
February 21, 2025 00:19 2s
February 21, 2025 00:19 2s
[Merged by Bors] - chore(Analysis/Convex/Normed): split into smaller files bot fix style #18507: Issue comment #22015 (comment) created by mathlib-bors bot
February 21, 2025 00:19 11s
February 21, 2025 00:19 11s
chore(Analysis/Convex/Normed): split into smaller files (#22015) continuous integration (mathlib forks) #179491: Commit befd281 pushed by mathlib-bors bot
February 21, 2025 00:19 4s master
master
February 21, 2025 00:19 4s
chore(Analysis/Convex/Normed): split into smaller files (#22015) continuous integration #168158: Commit befd281 pushed by mathlib-bors bot
February 21, 2025 00:19 9m 19s master
master
February 21, 2025 00:19 9m 19s
chore(Analysis/Convex/Normed): split into smaller files (#22015) Zulip Emoji Merge Delegate #1892: Commit befd281 pushed by mathlib-bors bot
February 21, 2025 00:19 57s master
master
February 21, 2025 00:19 57s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #126793: completed by BoltonBailey
February 21, 2025 00:19 2s
February 21, 2025 00:19 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #126792: completed by BoltonBailey
February 21, 2025 00:16 2s
February 21, 2025 00:16 2s
chore: split BigOperators/Group Post PR summary comment #48266: Pull request #22145 synchronize by BoltonBailey
February 21, 2025 00:16 58s BoltonBailey/split-bigops-group
BoltonBailey/split-bigops-group
February 21, 2025 00:16 58s
chore: split BigOperators/Group Label New Contributors #62411: Pull request #22145 synchronize by BoltonBailey
February 21, 2025 00:16 11s BoltonBailey/split-bigops-group
BoltonBailey/split-bigops-group
February 21, 2025 00:16 11s