Skip to content

Actions: leanprover-community/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
929,147 workflow run results
929,147 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

perf: lower the priority of toMul and toAdd instances Bench output summary #1373: Issue comment #18464 (comment) created by mathlib4-dependent-issues-bot
October 30, 2024 23:21 2s
October 30, 2024 23:21 2s
perf: lower the priority of toMul and toAdd instances bot fix style (comment) #9715: Issue comment #18464 (comment) created by mathlib4-dependent-issues-bot
October 30, 2024 23:21 2s
October 30, 2024 23:21 2s
perf: lower the priority of toMul and toAdd instances Label PR based on Comment #43210: Issue comment #18464 (comment) created by mathlib4-dependent-issues-bot
October 30, 2024 23:21 2s
October 30, 2024 23:21 2s
perf: lower the priority of toMul and toAdd instances Maintainer merge (comment) #68077: Issue comment #18464 (comment) created by mathlib4-dependent-issues-bot
October 30, 2024 23:21 2s
October 30, 2024 23:21 2s
perf: lower the priority of toMul and toAdd instances Add "ready-to-merge" and "delegated" label from comment #62520: Issue comment #18464 (comment) created by mathlib4-dependent-issues-bot
October 30, 2024 23:21 2s
October 30, 2024 23:21 2s
Dependent Issues Dependent Issues #64931: Scheduled
October 30, 2024 23:21 17s master
master
October 30, 2024 23:21 17s
Update Aesop continuous integration #137394: Commit d1ce297 pushed by JLimperg
October 30, 2024 23:19 35m 18s louddy/AesopForward-tests
louddy/AesopForward-tests
October 30, 2024 23:19 35m 18s
Update Aesop continuous integration (mathlib forks) #146230: Commit d1ce297 pushed by JLimperg
October 30, 2024 23:19 10s louddy/AesopForward-tests
louddy/AesopForward-tests
October 30, 2024 23:19 10s
feat(CategoryTheory): Colimits on the Grothendieck construction Label New Contributors #41801: Pull request #18442 synchronize by javra
October 30, 2024 23:18 13s fme-141
fme-141
October 30, 2024 23:18 13s
feat(CategoryTheory): Colimits on the Grothendieck construction Post PR summary comment #27656: Pull request #18442 synchronize by javra
October 30, 2024 23:18 46s fme-141
fme-141
October 30, 2024 23:18 46s
feat(CategoryTheory): Colimits on the Grothendieck construction lint and suggest #64045: Pull request #18442 synchronize by javra
October 30, 2024 23:18 1m 19s fme-141
fme-141
October 30, 2024 23:18 1m 19s
coconeOfFiberwiseCocone continuous integration #137393: Commit 35443f6 pushed by javra
October 30, 2024 23:18 6m 21s fme-141
fme-141
October 30, 2024 23:18 6m 21s
coconeOfFiberwiseCocone continuous integration (mathlib forks) #146229: Commit 35443f6 pushed by javra
October 30, 2024 23:18 9s fme-141
fme-141
October 30, 2024 23:18 9s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #95943: completed by hannahfechtner
October 30, 2024 23:15 2s
October 30, 2024 23:15 2s
Feat: projective line over ℝ is homeomorphic to the one-point compactification of ℝ Label PR based on Comment #43209: Issue comment #18306 (comment) created by bjoernkjoshanssen
October 30, 2024 23:11 1s
October 30, 2024 23:11 1s
Feat: projective line over ℝ is homeomorphic to the one-point compactification of ℝ bot fix style (comment) #9714: Issue comment #18306 (comment) created by bjoernkjoshanssen
October 30, 2024 23:11 1s
October 30, 2024 23:11 1s
Feat: projective line over ℝ is homeomorphic to the one-point compactification of ℝ Bench output summary #1372: Issue comment #18306 (comment) created by bjoernkjoshanssen
October 30, 2024 23:11 2s
October 30, 2024 23:11 2s
Feat: projective line over ℝ is homeomorphic to the one-point compactification of ℝ Maintainer merge (comment) #68076: Issue comment #18306 (comment) created by bjoernkjoshanssen
October 30, 2024 23:11 2s
October 30, 2024 23:11 2s
Feat: projective line over ℝ is homeomorphic to the one-point compactification of ℝ Add "ready-to-merge" and "delegated" label from comment #62519: Issue comment #18306 (comment) created by bjoernkjoshanssen
October 30, 2024 23:11 2s
October 30, 2024 23:11 2s
perf: lower the priority of Normed*.to* instances Label PR based on Comment #43208: Issue comment #18470 (comment) created by leanprover-bot
October 30, 2024 23:10 2s
October 30, 2024 23:10 2s
perf: lower the priority of Normed*.to* instances bot fix style (comment) #9713: Issue comment #18470 (comment) created by leanprover-bot
October 30, 2024 23:10 2s
October 30, 2024 23:10 2s
perf: lower the priority of Normed*.to* instances Maintainer merge (comment) #68075: Issue comment #18470 (comment) created by leanprover-bot
October 30, 2024 23:10 2s
October 30, 2024 23:10 2s
perf: lower the priority of Normed*.to* instances Add "ready-to-merge" and "delegated" label from comment #62518: Issue comment #18470 (comment) created by leanprover-bot
October 30, 2024 23:10 2s
October 30, 2024 23:10 2s
perf: lower the priority of Normed*.to* instances Bench output summary #1371: Issue comment #18470 (comment) created by leanprover-bot
October 30, 2024 23:10 20s
October 30, 2024 23:10 20s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #95942: completed by adomani
October 30, 2024 23:10 3s
October 30, 2024 23:10 3s