Skip to content

Actions: leanprover-community/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,092,596 workflow runs
1,092,596 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[Merged by Bors] - feat(Data/Set): add result that shows a set is even iff it splits into two sets of equal cardinality Add "ready-to-merge" and "delegated" label #33380: Issue comment #18878 (comment) created by pimotte
February 19, 2025 06:27 16s
February 19, 2025 06:27 16s
[Merged by Bors] - feat(Data/Set): add result that shows a set is even iff it splits into two sets of equal cardinality bot fix style #17612: Issue comment #18878 (comment) created by pimotte
February 19, 2025 06:27 11s
February 19, 2025 06:27 11s
Merge conflicts Merge conflicts #73630: Scheduled
February 19, 2025 06:25 10m 19s master
master
February 19, 2025 06:25 10m 19s
chore: split TMToPartrec.lean .github/workflows/zulip_emoji_awaiting_author.yaml #8411: Pull request #22068 labeled by TwoFX
February 19, 2025 06:24 18s bjoernkjoshanssen_partrec
bjoernkjoshanssen_partrec
February 19, 2025 06:24 18s
Maintainer merge Maintainer merge #41171: created by TwoFX
February 19, 2025 06:24 13s
February 19, 2025 06:24 13s
bot fix style bot fix style #17611: created by TwoFX
February 19, 2025 06:24 11s
February 19, 2025 06:24 11s
Add "ready-to-merge" and "delegated" label Add "ready-to-merge" and "delegated" label #33379: created by TwoFX
February 19, 2025 06:24 12s
February 19, 2025 06:24 12s
bot fix style bot fix style #17610: submitted by TwoFX
February 19, 2025 06:24 11s
February 19, 2025 06:24 11s
Add "ready-to-merge" and "delegated" label Add "ready-to-merge" and "delegated" label #33378: submitted by TwoFX
February 19, 2025 06:24 11s
February 19, 2025 06:24 11s
Maintainer merge Maintainer merge #41170: submitted by TwoFX
February 19, 2025 06:24 10s
February 19, 2025 06:24 10s
refactor(Analysis/NormedSpace/MStructure): Move to Analysis/Normed/Lp/MStructure Bench output summary #14776: Issue comment #22056 (comment) created by mans0954
February 19, 2025 06:23 2s
February 19, 2025 06:23 2s
refactor(Analysis/NormedSpace/MStructure): Move to Analysis/Normed/Lp/MStructure Label PR based on Comment #56613: Issue comment #22056 (comment) created by mans0954
February 19, 2025 06:23 1s
February 19, 2025 06:23 1s
refactor(Analysis/NormedSpace/MStructure): Move to Analysis/Normed/Lp/MStructure Add "ready-to-merge" and "delegated" label #33377: Issue comment #22056 (comment) created by mans0954
February 19, 2025 06:23 12s
February 19, 2025 06:23 12s
refactor(Analysis/NormedSpace/MStructure): Move to Analysis/Normed/Lp/MStructure bot fix style #17609: Issue comment #22056 (comment) created by mans0954
February 19, 2025 06:23 14s
February 19, 2025 06:23 14s
refactor(Analysis/NormedSpace/MStructure): Move to Analysis/Normed/Lp/MStructure Maintainer merge #41169: Issue comment #22056 (comment) created by mans0954
February 19, 2025 06:23 11s
February 19, 2025 06:23 11s
feat(CategoryTheory): Grothendieck abelian categories have enough injectives Label PR based on Comment #56612: Issue comment #20079 (comment) created by mathlib4-dependent-issues-bot
February 19, 2025 06:23 3s
February 19, 2025 06:23 3s
feat(CategoryTheory): Grothendieck abelian categories have enough injectives Bench output summary #14775: Issue comment #20079 (comment) created by mathlib4-dependent-issues-bot
February 19, 2025 06:23 2s
February 19, 2025 06:23 2s
feat(CategoryTheory): Grothendieck abelian categories have enough injectives Add "ready-to-merge" and "delegated" label #33376: Issue comment #20079 (comment) created by mathlib4-dependent-issues-bot
February 19, 2025 06:23 12s
February 19, 2025 06:23 12s
feat(CategoryTheory): Grothendieck abelian categories have enough injectives bot fix style #17608: Issue comment #20079 (comment) created by mathlib4-dependent-issues-bot
February 19, 2025 06:23 13s
February 19, 2025 06:23 13s
feat(CategoryTheory): Grothendieck abelian categories have enough injectives Maintainer merge #41168: Issue comment #20079 (comment) created by mathlib4-dependent-issues-bot
February 19, 2025 06:23 11s
February 19, 2025 06:23 11s
Merge branch 'master' into YK-grp-attop continuous integration #167565: Commit 1587d35 pushed by urkud
February 19, 2025 06:22 22m 29s YK-grp-attop
YK-grp-attop
February 19, 2025 06:22 22m 29s
Merge branch 'master' into YK-grp-attop continuous integration (mathlib forks) #178857: Commit 1587d35 pushed by urkud
February 19, 2025 06:22 3s YK-grp-attop
YK-grp-attop
February 19, 2025 06:22 3s
chore(AtTop/Monoid): add multiplicative versions Label New Contributors #62003: Pull request #21878 synchronize by urkud
February 19, 2025 06:22 27s YK-grp-attop
YK-grp-attop
February 19, 2025 06:22 27s
chore(AtTop/Monoid): add multiplicative versions lint and suggest #84246: Pull request #21878 synchronize by urkud
February 19, 2025 06:22 1m 22s YK-grp-attop
YK-grp-attop
February 19, 2025 06:22 1m 22s
chore(AtTop/Monoid): add multiplicative versions Post PR summary comment #47858: Pull request #21878 synchronize by urkud
February 19, 2025 06:22 1m 0s YK-grp-attop
YK-grp-attop
February 19, 2025 06:22 1m 0s