Skip to content

Actions: leanprover-community/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
858,018 workflow run results
858,018 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Dependent Issues Dependent Issues #64319: Scheduled
October 24, 2024 05:34 54s master
master
October 24, 2024 05:34 54s
Merge conflicts Merge conflicts #63228: Scheduled
October 24, 2024 05:23 10m 21s master
master
October 24, 2024 05:23 10m 21s
feat: lake exe unused continuous integration #134925: Commit 8ee836b pushed by kim-em
October 24, 2024 05:07 38m 48s unused_tool
unused_tool
October 24, 2024 05:07 38m 48s
chore: update Mathlib dependencies 2024-10-24-05-06 continuous integration #134924: Commit 1cbb6bf pushed by mathlib4-update-dependencies-bot
October 24, 2024 05:06 39m 25s update-dependencies-bot-use-only
update-dependencies-bot-use-only
October 24, 2024 05:06 39m 25s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #93469: completed by mathlib-bors bot
October 24, 2024 04:56 2s
October 24, 2024 04:56 2s
feat(CategoryTheory): translate between Yoneda and "relative Yoneda" … continuous integration #134923: Commit 1f4900e pushed by mathlib-bors bot
October 24, 2024 04:49 6m 57s master
master
October 24, 2024 04:49 6m 57s
Maintainer merge (review comment) Maintainer merge (review comment) #64343: created by joelriou
October 24, 2024 04:43 3s
October 24, 2024 04:43 3s
Maintainer merge (review) Maintainer merge (review) #52155: submitted by joelriou
October 24, 2024 04:43 3s
October 24, 2024 04:43 3s
Add "ready-to-merge" and "delegated" label from PR review comment Add "ready-to-merge" and "delegated" label from PR review comment #7244: created by joelriou
October 24, 2024 04:43 3s
October 24, 2024 04:43 3s
bot fix style (review comment) bot fix style (review comment) #9061: created by joelriou
October 24, 2024 04:43 3s
October 24, 2024 04:43 3s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #46916: submitted by joelriou
October 24, 2024 04:43 3s
October 24, 2024 04:43 3s
bot fix style (review) bot fix style (review) #6560: submitted by joelriou
October 24, 2024 04:43 3s
October 24, 2024 04:43 3s
bot fix style (review) bot fix style (review) #6559: submitted by joelriou
October 24, 2024 04:42 2s
October 24, 2024 04:42 2s
Maintainer merge (review comment) Maintainer merge (review comment) #64342: created by joelriou
October 24, 2024 04:42 2s
October 24, 2024 04:42 2s
Maintainer merge (review) Maintainer merge (review) #52154: submitted by joelriou
October 24, 2024 04:42 2s
October 24, 2024 04:42 2s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #46915: submitted by joelriou
October 24, 2024 04:42 3s
October 24, 2024 04:42 3s
bot fix style (review comment) bot fix style (review comment) #9060: created by joelriou
October 24, 2024 04:42 3s
October 24, 2024 04:42 3s
Add "ready-to-merge" and "delegated" label from PR review comment Add "ready-to-merge" and "delegated" label from PR review comment #7243: created by joelriou
October 24, 2024 04:42 3s
October 24, 2024 04:42 3s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #46914: submitted by joelriou
October 24, 2024 04:42 3s
October 24, 2024 04:42 3s
bot fix style (review comment) bot fix style (review comment) #9059: created by joelriou
October 24, 2024 04:42 2s
October 24, 2024 04:42 2s
bot fix style (review) bot fix style (review) #6558: submitted by joelriou
October 24, 2024 04:42 2s
October 24, 2024 04:42 2s
Add "ready-to-merge" and "delegated" label from PR review comment Add "ready-to-merge" and "delegated" label from PR review comment #7242: created by joelriou
October 24, 2024 04:42 2s
October 24, 2024 04:42 2s
Maintainer merge (review) Maintainer merge (review) #52153: submitted by joelriou
October 24, 2024 04:42 3s
October 24, 2024 04:42 3s
Maintainer merge (review comment) Maintainer merge (review comment) #64341: created by joelriou
October 24, 2024 04:42 3s
October 24, 2024 04:42 3s
feat(CategoryTheory): translate between Yoneda and "relative Yoneda" … continuous integration (mathlib forks) #143551: Commit 1f4900e pushed by mathlib-bors bot
October 24, 2024 04:37 12s staging
staging
October 24, 2024 04:37 12s