Skip to content

Actions: leanprover-community/mathlib4

Actions

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
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
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
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
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
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
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
[Merged by Bors] - feat(Combinatorics/SimpleGraph): define edist and rewrite dist Label New Contributors #20120: Pull request #14582 synchronize by Rida-Hamadani
July 10, 2024 22:32 10s rida/refactorDist
rida/refactorDist
July 10, 2024 22:32 10s
[Merged by Bors] - feat(Combinatorics/SimpleGraph): define edist and rewrite dist Post PR summary comment #6004: Pull request #14582 synchronize by Rida-Hamadani
July 10, 2024 22:32 40s rida/refactorDist
rida/refactorDist
July 10, 2024 22:32 40s
[Merged by Bors] - feat(Combinatorics/SimpleGraph): define edist and rewrite dist lint and suggest #42390: Pull request #14582 synchronize by Rida-Hamadani
July 10, 2024 22:32 1m 0s rida/refactorDist
rida/refactorDist
July 10, 2024 22:32 1m 0s
Apply changes from review. continuous integration #105904: Commit 7d8a20b pushed by Rida-Hamadani
July 10, 2024 22:32 43m 23s rida/refactorDist
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
rida/refactorDist
July 10, 2024 22:32 10s
Dependent Issues Dependent Issues #54718: Scheduled
July 10, 2024 22:31 1m 46s master
master
July 10, 2024 22:31 1m 46s