Skip to content

Actions: leanprover-community/mathlib4

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
608,423 workflow run results
608,423 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Dependent Issues
Dependent Issues #54719: Scheduled
July 10, 2024 22:46 2m 21s master
July 10, 2024 22:46 2m 21s
Post to zulip if the nightly-testing branch is failing.
Post to zulip if the nightly-testing branch is failing. #64209: completed by grunweg
July 10, 2024 22:45 2s
July 10, 2024 22:45 2s
Post to zulip if the nightly-testing branch is failing.
Post to zulip if the nightly-testing branch is failing. #64208: completed by eric-wieser
July 10, 2024 22:42 2s
July 10, 2024 22:42 2s
Maintainer merge (review)
Maintainer merge (review) #40590: submitted by Rida-Hamadani
July 10, 2024 22:40 2s
July 10, 2024 22:40 2s
Add "ready-to-merge" and "delegated" label from PR review
Add "ready-to-merge" and "delegated" label from PR review #35465: submitted by Rida-Hamadani
July 10, 2024 22:40 2s
July 10, 2024 22:40 2s
Maintainer merge (review comment)
Maintainer merge (review comment) #48495: created by Rida-Hamadani
July 10, 2024 22:40 2s
July 10, 2024 22:40 2s
Post to zulip if the nightly-testing branch is failing.
Post to zulip if the nightly-testing branch is failing. #64207: completed by mckoen
July 10, 2024 22:40 3s
July 10, 2024 22:40 3s
Post to zulip if the nightly-testing branch is failing.
Post to zulip if the nightly-testing branch is failing. #64206: completed by D-Thomine
July 10, 2024 22:37 2s
July 10, 2024 22:37 2s
Maintainer merge (review)
Maintainer merge (review) #40589: submitted by kmill
July 10, 2024 22:36 2s
July 10, 2024 22:36 2s
Maintainer merge (review comment)
Maintainer merge (review comment) #48494: created by kmill
July 10, 2024 22:36 2s
July 10, 2024 22:36 2s
Add "ready-to-merge" and "delegated" label from PR review
Add "ready-to-merge" and "delegated" label from PR review #35464: submitted by kmill
July 10, 2024 22:36 3s
July 10, 2024 22:36 3s
Add DynamicalUniformity
continuous integration (mathlib forks) #112265: Commit ee981f3 pushed by D-Thomine
July 10, 2024 22:36 13s D-Thomine/dynamical_uniformity
July 10, 2024 22:36 13s
Add DynamicalUniformity
continuous integration #105906: Commit ee981f3 pushed by D-Thomine
July 10, 2024 22:36 1m 3s D-Thomine/dynamical_uniformity
July 10, 2024 22:36 1m 3s
Post to zulip if the nightly-testing branch is failing.
Post to zulip if the nightly-testing branch is failing. #64205: completed by mathlib-bors bot
July 10, 2024 22:35 2s
July 10, 2024 22:35 2s
Post to zulip if the nightly-testing branch is failing.
Post to zulip if the nightly-testing branch is failing. #64204: completed by D-Thomine
July 10, 2024 22:35 2s
July 10, 2024 22:35 2s
Merge conflicts
Merge conflicts #53809: Scheduled
July 10, 2024 22:34 10m 35s master
July 10, 2024 22:34 10m 35s
Add dynamical uniformity
continuous integration (mathlib forks) #112264: Commit 5566b28 pushed by D-Thomine
July 10, 2024 22:34 12s D-Thomine/dynamical_uniformity
July 10, 2024 22:34 12s
Add dynamical uniformity
continuous integration #105905: Commit 5566b28 pushed by D-Thomine
July 10, 2024 22:34 1m 11s D-Thomine/dynamical_uniformity
July 10, 2024 22:34 1m 11s
Post to zulip if the nightly-testing branch is failing.
Post to zulip if the nightly-testing branch is failing. #64203: completed by igorkhavkine
July 10, 2024 22:32 3s
July 10, 2024 22:32 3s
Apply changes from review.
continuous integration #105904: Commit 7d8a20b pushed by Rida-Hamadani
July 10, 2024 22:32 43m 23s rida/refactorDist
July 10, 2024 22:32 43m 23s
Apply changes from review.
continuous integration (mathlib forks) #112263: Commit 7d8a20b pushed by Rida-Hamadani
July 10, 2024 22:32 10s rida/refactorDist
July 10, 2024 22:32 10s
Dependent Issues
Dependent Issues #54718: Scheduled
July 10, 2024 22:31 1m 46s master
July 10, 2024 22:31 1m 46s