Skip to content

Actions: leanprover-community/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
919,518 workflow runs
919,518 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #94845: completed by mathlib-bors bot
October 28, 2024 11:04 2s
October 28, 2024 11:04 2s
feat: add deprecation script Label PR based on Comment #42732: Issue comment #18150 (comment) created by TwoFX
October 28, 2024 11:02 2s
October 28, 2024 11:02 2s
feat: add deprecation script Maintainer merge (comment) #67545: Issue comment #18150 (comment) created by TwoFX
October 28, 2024 11:02 2s
October 28, 2024 11:02 2s
feat: add deprecation script bot fix style (comment) #9183: Issue comment #18150 (comment) created by TwoFX
October 28, 2024 11:02 2s
October 28, 2024 11:02 2s
feat: add deprecation script Add "ready-to-merge" and "delegated" label from comment #62042: Issue comment #18150 (comment) created by TwoFX
October 28, 2024 11:02 2s
October 28, 2024 11:02 2s
feat: add deprecation script Bench output summary #895: Issue comment #18150 (comment) created by TwoFX
October 28, 2024 11:02 2s
October 28, 2024 11:02 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #94844: completed by jjdishere
October 28, 2024 11:02 2s
October 28, 2024 11:02 2s
Dependent Issues Dependent Issues #64702: Scheduled
October 28, 2024 11:02 1m 14s master
master
October 28, 2024 11:02 1m 14s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #94843: completed by kim-em
October 28, 2024 11:01 3s
October 28, 2024 11:01 3s
refactor: generalize Mul of Submodule and SMul of Ideal on Submodule to noncommutative setting Post PR summary comment #26883: Pull request #17708 synchronize by alreadydone
October 28, 2024 11:00 53s Ideal.mul
Ideal.mul
October 28, 2024 11:00 53s
refactor: generalize Mul of Submodule and SMul of Ideal on Submodule to noncommutative setting lint and suggest #63272: Pull request #17708 synchronize by alreadydone
October 28, 2024 11:00 1m 28s Ideal.mul
Ideal.mul
October 28, 2024 11:00 1m 28s
refactor: generalize Mul of Submodule and SMul of Ideal on Submodule to noncommutative setting Label New Contributors #41028: Pull request #17708 synchronize by alreadydone
October 28, 2024 11:00 15s Ideal.mul
Ideal.mul
October 28, 2024 11:00 15s
revert continuous integration (mathlib forks) #145064: Commit 97f5e9a pushed by alreadydone
October 28, 2024 11:00 11s Ideal.mul
Ideal.mul
October 28, 2024 11:00 11s
revert continuous integration #136301: Commit 97f5e9a pushed by alreadydone
October 28, 2024 11:00 8m 39s Ideal.mul
Ideal.mul
October 28, 2024 11:00 8m 39s
perf: make Mul.toSMul higher priority Bench output summary #894: Issue comment #18294 (comment) created by FR-vdash-bot
October 28, 2024 10:57 2s
October 28, 2024 10:57 2s
perf: make Mul.toSMul higher priority bot fix style (comment) #9182: Issue comment #18294 (comment) created by FR-vdash-bot
October 28, 2024 10:57 2s
October 28, 2024 10:57 2s
perf: make Mul.toSMul higher priority Maintainer merge (comment) #67544: Issue comment #18294 (comment) created by FR-vdash-bot
October 28, 2024 10:57 2s
October 28, 2024 10:57 2s
perf: make Mul.toSMul higher priority Label PR based on Comment #42731: Issue comment #18294 (comment) created by FR-vdash-bot
October 28, 2024 10:57 2s
October 28, 2024 10:57 2s
perf: make Mul.toSMul higher priority Add "ready-to-merge" and "delegated" label from comment #62041: Issue comment #18294 (comment) created by FR-vdash-bot
October 28, 2024 10:57 3s
October 28, 2024 10:57 3s
feat(Algebra/Order/Field/Basic): add Nat cast lemmas (#18171) (Unnamed workflow) #497: Commit 992d67f pushed by mathlib-bors bot
October 28, 2024 10:57 Startup failure staging-squash-merge.tmp
staging-squash-merge.tmp
October 28, 2024 10:57 Startup failure
feat: add by how many modules imports grew (#18303) continuous integration (staging) #11440: Commit d886d6d pushed by mathlib-bors bot
October 28, 2024 10:57 In progress staging
staging
October 28, 2024 10:57 In progress
feat: add by how many modules imports grew (#18303) continuous integration (mathlib forks) #145063: Commit d886d6d pushed by mathlib-bors bot
October 28, 2024 10:57 13s staging
staging
October 28, 2024 10:57 13s
[Merged by Bors] - feat(Algebra/Order/Field/Basic): add Nat cast lemmas Label PR based on Comment #42730: Issue comment #18171 (comment) created by mathlib-bors bot
October 28, 2024 10:56 2s
October 28, 2024 10:56 2s
[Merged by Bors] - feat(Algebra/Order/Field/Basic): add Nat cast lemmas bot fix style (comment) #9181: Issue comment #18171 (comment) created by mathlib-bors bot
October 28, 2024 10:56 3s
October 28, 2024 10:56 3s
[Merged by Bors] - feat(Algebra/Order/Field/Basic): add Nat cast lemmas Add "ready-to-merge" and "delegated" label from comment #62040: Issue comment #18171 (comment) created by mathlib-bors bot
October 28, 2024 10:56 2s
October 28, 2024 10:56 2s