Skip to content

Actions: leanprover-community/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
845,432 workflow run results
845,432 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Dependent Issues Dependent Issues #63934: Scheduled
October 19, 2024 21:46 1m 15s master
master
October 19, 2024 21:46 1m 15s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #91995: completed by urkud
October 19, 2024 21:43 1s
October 19, 2024 21:43 1s
WIP: Frobenius Elements Post PR summary comment #24902: Pull request #17717 synchronize by tb65536
October 19, 2024 21:41 44s tb_eq
tb_eq
October 19, 2024 21:41 44s
WIP: Frobenius Elements Label New Contributors #39047: Pull request #17717 synchronize by tb65536
October 19, 2024 21:41 12s tb_eq
tb_eq
October 19, 2024 21:41 12s
WIP: Frobenius Elements lint and suggest #61291: Pull request #17717 synchronize by tb65536
October 19, 2024 21:41 1m 32s tb_eq
tb_eq
October 19, 2024 21:41 1m 32s
cleanup continuous integration #133467: Commit f1d0ec9 pushed by tb65536
October 19, 2024 21:41 5m 50s tb_eq
tb_eq
October 19, 2024 21:41 5m 50s
cleanup continuous integration (mathlib forks) #141967: Commit f1d0ec9 pushed by tb65536
October 19, 2024 21:41 11s tb_eq
tb_eq
October 19, 2024 21:41 11s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #91994: completed by FR-vdash-bot
October 19, 2024 21:39 2s
October 19, 2024 21:39 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #91993: completed by tb65536
October 19, 2024 21:34 2s
October 19, 2024 21:34 2s
Merge conflicts Merge conflicts #62851: Scheduled
October 19, 2024 21:34 6m 16s master
master
October 19, 2024 21:34 6m 16s
Maintainer merge (review) Maintainer merge (review) #51615: submitted by eric-wieser
October 19, 2024 21:33 2s
October 19, 2024 21:33 2s
Maintainer merge (review comment) Maintainer merge (review comment) #63684: created by eric-wieser
October 19, 2024 21:33 2s
October 19, 2024 21:33 2s
bot fix style (review) bot fix style (review) #6020: submitted by eric-wieser
October 19, 2024 21:33 2s
October 19, 2024 21:33 2s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #46376: submitted by eric-wieser
October 19, 2024 21:33 2s
October 19, 2024 21:33 2s
bot fix style (review comment) bot fix style (review comment) #8402: created by eric-wieser
October 19, 2024 21:33 2s
October 19, 2024 21:33 2s
Add "ready-to-merge" and "delegated" label from PR review comment Add "ready-to-merge" and "delegated" label from PR review comment #6634: created by eric-wieser
October 19, 2024 21:33 2s
October 19, 2024 21:33 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #91992: completed by FR-vdash-bot
October 19, 2024 21:32 2s
October 19, 2024 21:32 2s
feat(AlgebraicGeometry/ResidueField): classification of Spec K ⟶ X … (Unnamed workflow) #325: Commit fee48cc pushed by mathlib-bors bot
October 19, 2024 21:32 Startup failure staging-squash-merge.tmp
staging-squash-merge.tmp
October 19, 2024 21:32 Startup failure
feat: topology on module over topological ring (#16895) continuous integration (staging) #11177: Commit 227950d pushed by mathlib-bors bot
October 19, 2024 21:32 21m 47s staging
staging
October 19, 2024 21:32 21m 47s
feat: topology on module over topological ring (#16895) continuous integration (mathlib forks) #141966: Commit 227950d pushed by mathlib-bors bot
October 19, 2024 21:32 15s staging
staging
October 19, 2024 21:32 15s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #91991: completed by erdOne
October 19, 2024 21:32 2s
October 19, 2024 21:32 2s
[Merged by Bors] - chore: move binary recursion on Nat into a new file Post PR summary comment #24901: Pull request #15567 synchronize by FR-vdash-bot
October 19, 2024 21:32 44s FR_binrec_move
FR_binrec_move
October 19, 2024 21:32 44s
[Merged by Bors] - chore: move binary recursion on Nat into a new file lint and suggest #61290: Pull request #15567 synchronize by FR-vdash-bot
October 19, 2024 21:32 1m 10s FR_binrec_move
FR_binrec_move
October 19, 2024 21:32 1m 10s
[Merged by Bors] - chore: move binary recursion on Nat into a new file Label New Contributors #39046: Pull request #15567 synchronize by FR-vdash-bot
October 19, 2024 21:32 12s FR_binrec_move
FR_binrec_move
October 19, 2024 21:32 12s
Authors continuous integration #133466: Commit 8d91e67 pushed by FR-vdash-bot
October 19, 2024 21:32 31m 30s FR_binrec_move
FR_binrec_move
October 19, 2024 21:32 31m 30s