Skip to content

Actions: leanprover-community/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,531,980 workflow runs
1,531,980 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore(Topology/ContinuousOn): Add fun_prop tag to ContinuousAt.comp_continuousWithinAt Add "closed-pr" emoji in Zulip #8130: Pull request #32748 closed by LorenzoLuccioli
16s
16s
Merge conflicts Merge conflicts #100933: Scheduled
10m 23s master
master
10m 23s
fix: simp_rw does not hide goals (#32956) Run pre-commit and in-place update PR on push #28527: Commit 4d9d3c5 pushed by mathlib4-update-dependencies-bot
29s update-dependencies-bot-use-only
update-dependencies-bot-use-only
29s
fix: simp_rw does not hide goals (#32956) continuous integration #207711: Commit 4d9d3c5 pushed by mathlib4-update-dependencies-bot
Queued update-dependencies-bot-use-only
update-dependencies-bot-use-only
Queued
Update Mathlib Dependencies Update Mathlib Dependencies #13792: Scheduled
1m 10s master
master
1m 10s
Add "ready-to-merge" and "delegated" label (workflow_run) Add "ready-to-merge" and "delegated" label (workflow_run) #91342: completed by farmanb
12s
12s
Maintainer merge (workflow_run) Maintainer merge (workflow_run) #97098: completed by farmanb
1s
1s
feat(RingTheory/Ideal): generalize Submodule.colon to sets Add "ready-to-merge" and "delegated" label #174519: Issue comment #33390 (comment) created by farmanb
9s
9s
feat(RingTheory/Ideal): generalize Submodule.colon to sets Label PR based on Comment #104942: Issue comment #33390 (comment) created by farmanb
7s
7s
feat(RingTheory/Ideal): generalize Submodule.colon to sets Maintainer merge #190717: Issue comment #33390 (comment) created by farmanb
1s
1s
feat(RingTheory/Ideal): generalize Submodule.colon to sets bot fix style #142027: Issue comment #33390 (comment) created by farmanb
11s
11s
chore(Order/RelClasses): remove redundant instances Check PR titles #6523: Pull request #33768 edited by vihdzp
1m 16s
1m 16s
Dependent Issues Dependent Issues #103215: Scheduled
13s master
master
13s
chore: LinearOrderedCommMonoidWithZero extends ZeroLEOneClass Check PR titles #6522: Pull request #33654 edited by vihdzp
2s
2s
Add "ready-to-merge" and "delegated" label (workflow_run) Add "ready-to-merge" and "delegated" label (workflow_run) #91341: completed by stepan2698-cpu
12s
12s
Maintainer merge (workflow_run) Maintainer merge (workflow_run) #97097: completed by stepan2698-cpu
Skipped
Skipped
feat: Schur's lemma over an algebraically closed field Add "ready-to-merge" and "delegated" label #174518: Issue comment #33216 (comment) created by stepan2698-cpu
8s
8s
feat: Schur's lemma over an algebraically closed field bot fix style #142026: Issue comment #33216 (comment) created by stepan2698-cpu
13s
13s
feat: Schur's lemma over an algebraically closed field Maintainer merge #190716: Issue comment #33216 (comment) created by stepan2698-cpu
1s
1s
feat: Schur's lemma over an algebraically closed field Label PR based on Comment #104941: Issue comment #33216 (comment) created by stepan2698-cpu
6s
6s
Merge conflicts Merge conflicts #100932: Scheduled
10m 20s master
master
10m 20s
chore: LinearOrderedCommMonoidWithZero extends ZeroLEOneClass Commit Verification #202: Pull request #33654 synchronize by vihdzp
1m 31s vihdzp:dupe
vihdzp:dupe
1m 31s
chore: LinearOrderedCommMonoidWithZero extends ZeroLEOneClass Run pre-commit and in-place update PR on push #28526: Pull request #33654 synchronize by vihdzp
23s vihdzp:dupe
vihdzp:dupe
23s
chore: LinearOrderedCommMonoidWithZero extends ZeroLEOneClass lint and suggest #141128: Pull request #33654 synchronize by vihdzp
2m 41s vihdzp:dupe
vihdzp:dupe
2m 41s
chore: LinearOrderedCommMonoidWithZero extends ZeroLEOneClass continuous integration (mathlib forks) #260507: Pull request #33654 synchronize by vihdzp
Queued
Queued