Skip to content

Actions: leanprover-community/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
814,711 workflow run results
814,711 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[Merged by Bors] - feat(NumberTheory/FactorisationProperties): abundant, pseudoperfect, deficient, and weird numbers Label PR based on Comment #38164: Issue comment #14269 (comment) created by kim-em
September 28, 2024 23:59 1s
September 28, 2024 23:59 1s
[Merged by Bors] - feat(NumberTheory/FactorisationProperties): abundant, pseudoperfect, deficient, and weird numbers bot fix style (comment) #4168: Issue comment #14269 (comment) created by kim-em
September 28, 2024 23:59 1s
September 28, 2024 23:59 1s
[Merged by Bors] - feat(NumberTheory/FactorisationProperties): abundant, pseudoperfect, deficient, and weird numbers Add "ready-to-merge" and "delegated" label from comment #57474: Issue comment #14269 (comment) created by kim-em
September 28, 2024 23:59 13s
September 28, 2024 23:59 13s
[Merged by Bors] - feat(NumberTheory/FactorisationProperties): abundant, pseudoperfect, deficient, and weird numbers Maintainer merge (comment) #62530: Issue comment #14269 (comment) created by kim-em
September 28, 2024 23:59 2s
September 28, 2024 23:59 2s
[Merged by Bors] - fix(Matrix/Invertible): deprecated aliases should remain protected Add "ready-to-merge" and "delegated" label from comment #57473: Issue comment #17242 (comment) created by kim-em
September 28, 2024 23:58 13s
September 28, 2024 23:58 13s
[Merged by Bors] - fix(Matrix/Invertible): deprecated aliases should remain protected Label PR based on Comment #38163: Issue comment #17242 (comment) created by kim-em
September 28, 2024 23:58 2s
September 28, 2024 23:58 2s
[Merged by Bors] - fix(Matrix/Invertible): deprecated aliases should remain protected bot fix style (comment) #4167: Issue comment #17242 (comment) created by kim-em
September 28, 2024 23:58 1s
September 28, 2024 23:58 1s
[Merged by Bors] - fix(Matrix/Invertible): deprecated aliases should remain protected Maintainer merge (comment) #62529: Issue comment #17242 (comment) created by kim-em
September 28, 2024 23:58 1s
September 28, 2024 23:58 1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #85985: completed by urkud
September 28, 2024 23:53 2s
September 28, 2024 23:53 2s
bump batteries continuous integration #127511: Commit 8d26474 pushed by kim-em
September 28, 2024 23:50 17m 14s nightly-testing
nightly-testing
September 28, 2024 23:50 17m 14s
bump batteries continuous integration (mathlib forks) #135537: Commit 8d26474 pushed by kim-em
September 28, 2024 23:50 14s nightly-testing
nightly-testing
September 28, 2024 23:50 14s
Merge conflicts Merge conflicts #61004: Scheduled
September 28, 2024 23:48 14s master
master
September 28, 2024 23:48 14s
Dependent Issues Dependent Issues #62050: Scheduled
September 28, 2024 23:46 50s master
master
September 28, 2024 23:46 50s
[Merged by Bors] - chore: Rename DenseInducing to IsDenseInducing bot fix style (comment) #4166: Issue comment #17208 (comment) created by j-loreaux
September 28, 2024 23:44 2s
September 28, 2024 23:44 2s
[Merged by Bors] - chore: Rename DenseInducing to IsDenseInducing Maintainer merge (comment) #62528: Issue comment #17208 (comment) created by j-loreaux
September 28, 2024 23:44 2s
September 28, 2024 23:44 2s
[Merged by Bors] - chore: Rename DenseInducing to IsDenseInducing Label PR based on Comment #38162: Issue comment #17208 (comment) created by j-loreaux
September 28, 2024 23:44 2s
September 28, 2024 23:44 2s
[Merged by Bors] - chore: Rename DenseInducing to IsDenseInducing Add "ready-to-merge" and "delegated" label from comment #57472: Issue comment #17208 (comment) created by j-loreaux
September 28, 2024 23:44 15s
September 28, 2024 23:44 15s
bot fix style (review) bot fix style (review) #3225: submitted by eric-wieser
September 28, 2024 23:41 2s
September 28, 2024 23:41 2s
Maintainer merge (review) Maintainer merge (review) #48820: submitted by eric-wieser
September 28, 2024 23:41 2s
September 28, 2024 23:41 2s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #43581: submitted by eric-wieser
September 28, 2024 23:41 14s
September 28, 2024 23:41 14s
Update lean-toolchain for testing https://github.com/leanprover/lean4… continuous integration (mathlib forks) #135536: Commit 3b73636 pushed by leanprover-community-mathlib4-bot
September 28, 2024 23:41 10s lean-pr-testing-5511
lean-pr-testing-5511
September 28, 2024 23:41 10s
Update lean-toolchain for testing https://github.com/leanprover/lean4… continuous integration #127510: Commit 3b73636 pushed by leanprover-community-mathlib4-bot
September 28, 2024 23:41 56m 0s lean-pr-testing-5511
lean-pr-testing-5511
September 28, 2024 23:41 56m 0s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #85984: completed by mathlib4-update-dependencies-bot
September 28, 2024 23:41 2s
September 28, 2024 23:41 2s
Monitor Dependency Update Failures Monitor Dependency Update Failures #4629: completed by mathlib4-update-dependencies-bot
September 28, 2024 23:41 16s
September 28, 2024 23:41 16s
bot fix style (review) bot fix style (review) #3224: submitted by eric-wieser
September 28, 2024 23:38 2s
September 28, 2024 23:38 2s