Skip to content

Actions: leanprover-community/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
800,730 workflow run results
800,730 workflow run results

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. #83140: completed by vihdzp
September 17, 2024 23:48 2s
September 17, 2024 23:48 2s
Dependent Issues Dependent Issues #61055: Scheduled
September 17, 2024 23:46 1m 15s master
master
September 17, 2024 23:46 1m 15s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #83139: completed by vihdzp
September 17, 2024 23:45 2s
September 17, 2024 23:45 2s
[Merged by Bors] - chore(SetTheory/Cardinal/Basic): inline mul_comm into instance Maintainer merge (comment) #61340: Issue comment #16851 (comment) created by mathlib-bors bot
September 17, 2024 23:44 2s
September 17, 2024 23:44 2s
[Merged by Bors] - chore(SetTheory/Cardinal/Basic): inline mul_comm into instance Label PR based on Comment #37094: Issue comment #16851 (comment) created by mathlib-bors bot
September 17, 2024 23:44 2s
September 17, 2024 23:44 2s
[Merged by Bors] - chore(SetTheory/Cardinal/Basic): inline mul_comm into instance bot fix style (comment) #2978: Issue comment #16851 (comment) created by mathlib-bors bot
September 17, 2024 23:44 2s
September 17, 2024 23:44 2s
[Merged by Bors] - chore(SetTheory/Cardinal/Basic): inline mul_comm into instance Add "ready-to-merge" and "delegated" label from comment #56404: Issue comment #16851 (comment) created by mathlib-bors bot
September 17, 2024 23:44 3s
September 17, 2024 23:44 3s
chore(SetTheory/Cardinal/Basic): inline mul_comm into instance (#16… continuous integration (mathlib forks) #132531: Commit 1928609 pushed by mathlib-bors bot
September 17, 2024 23:44 12s master
master
September 17, 2024 23:44 12s
chore(SetTheory/Cardinal/Basic): inline mul_comm into instance (#16… continuous integration #124703: Commit 1928609 pushed by mathlib-bors bot
September 17, 2024 23:44 8m 52s master
master
September 17, 2024 23:44 8m 52s
Add "ready-to-merge" and "delegated" label from PR review comment Add "ready-to-merge" and "delegated" label from PR review comment #1698: created by j-loreaux
September 17, 2024 23:41 2s
September 17, 2024 23:41 2s
Maintainer merge (review) Maintainer merge (review) #47721: submitted by j-loreaux
September 17, 2024 23:40 2s
September 17, 2024 23:40 2s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #42482: submitted by j-loreaux
September 17, 2024 23:40 2s
September 17, 2024 23:40 2s
bot fix style (review) bot fix style (review) #2126: submitted by j-loreaux
September 17, 2024 23:40 2s
September 17, 2024 23:40 2s
Maintainer merge (review comment) Maintainer merge (review comment) #58362: created by j-loreaux
September 17, 2024 23:40 2s
September 17, 2024 23:40 2s
bot fix style (review comment) bot fix style (review comment) #3080: created by j-loreaux
September 17, 2024 23:40 3s
September 17, 2024 23:40 3s
feat(Analysis.InnerProductSpace): Decomposition of finite-dimensional inner product space as direct sum of joint eigenspaces of commuting finite tuples of symmetric operators lint and suggest #55308: Pull request #16569 synchronize by JonBannon
September 17, 2024 23:40 1m 15s JointEigenspacesTuples
JointEigenspacesTuples
September 17, 2024 23:40 1m 15s
feat(Analysis.InnerProductSpace): Decomposition of finite-dimensional inner product space as direct sum of joint eigenspaces of commuting finite tuples of symmetric operators Label New Contributors #33064: Pull request #16569 synchronize by JonBannon
September 17, 2024 23:40 11s JointEigenspacesTuples
JointEigenspacesTuples
September 17, 2024 23:40 11s
feat(Analysis.InnerProductSpace): Decomposition of finite-dimensional inner product space as direct sum of joint eigenspaces of commuting finite tuples of symmetric operators Post PR summary comment #18919: Pull request #16569 synchronize by JonBannon
September 17, 2024 23:40 43s JointEigenspacesTuples
JointEigenspacesTuples
September 17, 2024 23:40 43s
OK, works. continuous integration (mathlib forks) #132530: Commit bf8d5fe pushed by JonBannon
September 17, 2024 23:40 11s JointEigenspacesTuples
JointEigenspacesTuples
September 17, 2024 23:40 11s
OK, works. continuous integration #124702: Commit bf8d5fe pushed by JonBannon
September 17, 2024 23:40 9m 7s JointEigenspacesTuples
JointEigenspacesTuples
September 17, 2024 23:40 9m 7s
[Merged by Bors] - chore(SetTheory/Game/Nim): redefine grundyValue as an infimum lint and suggest #55307: Pull request #16874 synchronize by vihdzp
September 17, 2024 23:39 1m 15s vi.nim_mex
vi.nim_mex
September 17, 2024 23:39 1m 15s
[Merged by Bors] - chore(SetTheory/Game/Nim): redefine grundyValue as an infimum Label New Contributors #33063: Pull request #16874 synchronize by vihdzp
September 17, 2024 23:39 10s vi.nim_mex
vi.nim_mex
September 17, 2024 23:39 10s
[Merged by Bors] - chore(SetTheory/Game/Nim): redefine grundyValue as an infimum Post PR summary comment #18918: Pull request #16874 synchronize by vihdzp
September 17, 2024 23:39 46s vi.nim_mex
vi.nim_mex
September 17, 2024 23:39 46s
fix merge continuous integration #124701: Commit e7bb46a pushed by vihdzp
September 17, 2024 23:39 8m 57s vi.nim_mex
vi.nim_mex
September 17, 2024 23:39 8m 57s
fix merge continuous integration (mathlib forks) #132529: Commit e7bb46a pushed by vihdzp
September 17, 2024 23:39 15s vi.nim_mex
vi.nim_mex
September 17, 2024 23:39 15s