Skip to content

Actions: leanprover-community/mathlib4

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

apply renames continuous integration (mathlib forks) #132528: Commit cb5fe7a pushed by vihdzp
September 17, 2024 23:37 12s vi.nim_mex
vi.nim_mex
September 17, 2024 23:37 12s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #83138: completed by JonBannon
September 17, 2024 23:37 2s
September 17, 2024 23:37 2s
apply renames continuous integration #124700: Commit cb5fe7a pushed by vihdzp
September 17, 2024 23:37 7m 50s vi.nim_mex
vi.nim_mex
September 17, 2024 23:37 7m 50s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #83137: completed by Aaron1011
September 17, 2024 23:37 3s
September 17, 2024 23:37 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 #55306: Pull request #16569 synchronize by JonBannon
September 17, 2024 23:35 1m 16s JointEigenspacesTuples
JointEigenspacesTuples
September 17, 2024 23:35 1m 16s
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 #33062: Pull request #16569 synchronize by JonBannon
September 17, 2024 23:35 14s JointEigenspacesTuples
JointEigenspacesTuples
September 17, 2024 23:35 14s
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 #18917: Pull request #16569 synchronize by JonBannon
September 17, 2024 23:35 44s JointEigenspacesTuples
JointEigenspacesTuples
September 17, 2024 23:35 44s
Everything is working now except for the new version of `iInf_eigensp… continuous integration #124699: Commit 911e6ba pushed by JonBannon
September 17, 2024 23:35 1m 27s JointEigenspacesTuples
JointEigenspacesTuples
September 17, 2024 23:35 1m 27s
Everything is working now except for the new version of `iInf_eigensp… continuous integration (mathlib forks) #132527: Commit 911e6ba pushed by JonBannon
September 17, 2024 23:35 13s JointEigenspacesTuples
JointEigenspacesTuples
September 17, 2024 23:35 13s
Merge conflicts Merge conflicts #60023: Scheduled
September 17, 2024 23:34 13s master
master
September 17, 2024 23:34 13s
feat(SetTheory/Cardinal/Basic): congruency theorems for cardinalities of sigmas Maintainer merge (comment) #61339: Issue comment #16824 (comment) created by vihdzp
September 17, 2024 23:32 2s
September 17, 2024 23:32 2s
feat(SetTheory/Cardinal/Basic): congruency theorems for cardinalities of sigmas bot fix style (comment) #2977: Issue comment #16824 (comment) created by vihdzp
September 17, 2024 23:32 2s
September 17, 2024 23:32 2s
feat(SetTheory/Cardinal/Basic): congruency theorems for cardinalities of sigmas Label PR based on Comment #37093: Issue comment #16824 (comment) created by vihdzp
September 17, 2024 23:32 2s
September 17, 2024 23:32 2s
feat(SetTheory/Cardinal/Basic): congruency theorems for cardinalities of sigmas Add "ready-to-merge" and "delegated" label from comment #56403: Issue comment #16824 (comment) created by vihdzp
September 17, 2024 23:32 3s
September 17, 2024 23:32 3s
Dependent Issues Dependent Issues #61054: Scheduled
September 17, 2024 23:32 3m 10s master
master
September 17, 2024 23:32 3m 10s
chore: make OreLocalization.smul not irreducible bot fix style (comment) #2976: Issue comment #16746 (comment) created by eric-wieser
September 17, 2024 23:32 1s
September 17, 2024 23:32 1s
chore: make OreLocalization.smul not irreducible Label PR based on Comment #37092: Issue comment #16746 (comment) created by eric-wieser
September 17, 2024 23:32 2s
September 17, 2024 23:32 2s
chore: make OreLocalization.smul not irreducible Maintainer merge (comment) #61338: Issue comment #16746 (comment) created by eric-wieser
September 17, 2024 23:32 2s
September 17, 2024 23:32 2s
chore: make OreLocalization.smul not irreducible Add "ready-to-merge" and "delegated" label from comment #56402: Issue comment #16746 (comment) created by eric-wieser
September 17, 2024 23:32 2s
September 17, 2024 23:32 2s
Maintainer merge (review comment) Maintainer merge (review comment) #58361: created by eric-wieser
September 17, 2024 23:30 2s
September 17, 2024 23:30 2s
bot fix style (review comment) bot fix style (review comment) #3079: created by eric-wieser
September 17, 2024 23:30 2s
September 17, 2024 23:30 2s
bot fix style (review) bot fix style (review) #2125: submitted by eric-wieser
September 17, 2024 23:30 2s
September 17, 2024 23:30 2s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #42481: submitted by eric-wieser
September 17, 2024 23:30 2s
September 17, 2024 23:30 2s
Maintainer merge (review) Maintainer merge (review) #47720: submitted by eric-wieser
September 17, 2024 23:30 2s
September 17, 2024 23:30 2s
Add "ready-to-merge" and "delegated" label from PR review comment Add "ready-to-merge" and "delegated" label from PR review comment #1697: created by eric-wieser
September 17, 2024 23:30 3s
September 17, 2024 23:30 3s