Skip to content

Actions: leanprover-community/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
splice-bot (workflow_run) splice-bot (workflow_run) #41042: completed by xroblot
1s
1s
Bors merge/delegate follow-up (workflow_run) Bors merge/delegate follow-up (workflow_run) #221889: completed by xroblot
1s
1s
Maintainer merge (workflow_run) Maintainer merge (workflow_run) #237717: completed by xroblot
1s
1s
Bors merge/delegate follow-up (workflow_run) Bors merge/delegate follow-up (workflow_run) #221888: completed by xroblot
1s
1s
Maintainer merge (workflow_run) Maintainer merge (workflow_run) #237716: completed by xroblot
Skipped
Skipped
refactor(NumberTheory/RamificationInertia): ring-level decomposition and inertia predicates splice-bot #41279: Pull request #41591 created by xroblot
1s
1s
refactor(NumberTheory/RamificationInertia): ring-level decomposition and inertia predicates bot fix style #283262: Pull request #41591 created by xroblot
7s
7s
refactor(NumberTheory/RamificationInertia): ring-level decomposition and inertia predicates bot fix style #283261: Pull request #41591 submitted by xroblot
9s
9s
refactor(NumberTheory/RamificationInertia): ring-level decomposition and inertia predicates Maintainer merge #331959: Pull request #41591 created by xroblot
1s
1s
refactor(NumberTheory/RamificationInertia): ring-level decomposition and inertia predicates Label PR based on Comment #228362: Pull request #41591 created by xroblot
6s
6s
refactor(NumberTheory/RamificationInertia): ring-level decomposition and inertia predicates Bors merge/delegate follow-up #305663: Pull request #41591 created by xroblot
1s
1s
refactor(NumberTheory/RamificationInertia): ring-level decomposition and inertia predicates Maintainer merge #331958: Pull request #41591 submitted by xroblot
1s
1s
refactor(NumberTheory/RamificationInertia): ring-level decomposition and inertia predicates Bors merge/delegate follow-up #305662: Pull request #41591 submitted by xroblot
1s
1s
refactor(NumberTheory/RamificationInertia): ring-level decomposition and inertia predicates Label PR based on Comment #228361: Pull request #41591 submitted by xroblot
5s
5s
Zulip emoji reconcile Zulip emoji reconcile #27317: Scheduled
In progress master
master
In progress
Merge conflicts Merge conflicts #112025: Scheduled
39s master
master
39s
feat(Analysis/Normed/Group/Basic): add mem_closedBall_iff_nnnorm Zulip emoji reconcile #27316: Pull request #43752 labeled by mathlib-triage Bot
12s
12s
Maintainer merge (workflow_run) Maintainer merge (workflow_run) #237715: completed by themathqueen
23s
23s
Bors merge/delegate follow-up (workflow_run) Bors merge/delegate follow-up (workflow_run) #221887: completed by themathqueen
1s
1s
feat(Analysis/Normed/Group/Basic): add mem_closedBall_iff_nnnorm bot fix style #283260: Pull request #43752 submitted by themathqueen
8s
8s
feat(Analysis/Normed/Group/Basic): add mem_closedBall_iff_nnnorm Label PR based on Comment #228360: Pull request #43752 submitted by themathqueen
5s
5s
feat(Analysis/Normed/Group/Basic): add mem_closedBall_iff_nnnorm Maintainer merge #331957: Pull request #43752 submitted by themathqueen
6s
6s
feat(Analysis/Normed/Group/Basic): add mem_closedBall_iff_nnnorm Bors merge/delegate follow-up #305661: Pull request #43752 submitted by themathqueen
1s
1s
feat(Analysis/InnerProductSpace/Projection): relate projection distance to infDist Zulip emoji reconcile #27315: Pull request #43645 labeled by themathqueen
18s
18s
Maintainer merge (workflow_run) Maintainer merge (workflow_run) #237714: completed by themathqueen
1s
1s