Skip to content

Actions: leanprover-community/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,532,090 workflow runs
1,532,090 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Dependent Issues Dependent Issues #103220: Scheduled
13s master
master
13s
feat(AlgebraicGeometry): quasi compact covers Commit Verification #208: Pull request #32042 synchronize by chrisflav
40s chrisflav:qc-precoverage.4
chrisflav:qc-precoverage.4
40s
feat(AlgebraicGeometry): quasi compact covers lint and suggest #141134: Pull request #32042 synchronize by chrisflav
2m 11s chrisflav:qc-precoverage.4
chrisflav:qc-precoverage.4
2m 11s
feat(AlgebraicGeometry): quasi compact covers Run pre-commit and in-place update PR on push #28534: Pull request #32042 synchronize by chrisflav
21s chrisflav:qc-precoverage.4
chrisflav:qc-precoverage.4
21s
feat(AlgebraicGeometry): quasi compact covers continuous integration (mathlib forks) #260513: Pull request #32042 synchronize by chrisflav
In progress
In progress
feat(AlgebraicGeometry): quasi compact covers Post PR summary comment #116353: Pull request #32042 synchronize by chrisflav
1m 49s
1m 49s
Monitor Dependency Update Failures Monitor Dependency Update Failures #9619: completed by mathlib4-update-dependencies-bot
1s
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #166552: completed by mathlib4-update-dependencies-bot
11s
11s
chore: tidy various files (#33687) Run pre-commit and in-place update PR on push #28533: Commit ee6d0f1 pushed by mathlib4-update-dependencies-bot
29s update-dependencies-bot-use-only
update-dependencies-bot-use-only
29s
chore: tidy various files (#33687) continuous integration #207713: Commit ee6d0f1 pushed by mathlib4-update-dependencies-bot
In progress update-dependencies-bot-use-only
update-dependencies-bot-use-only
In progress
Merge conflicts Merge conflicts #100937: Scheduled
10m 24s master
master
10m 24s
Add "ready-to-merge" and "delegated" label (workflow_run) Add "ready-to-merge" and "delegated" label (workflow_run) #91366: completed by alreadydone
13s
13s
Add "ready-to-merge" and "delegated" label (workflow_run) Add "ready-to-merge" and "delegated" label (workflow_run) #91365: completed by alreadydone
15s
15s
Maintainer merge (workflow_run) Maintainer merge (workflow_run) #97123: completed by alreadydone
1s
1s
Maintainer merge (workflow_run) Maintainer merge (workflow_run) #97122: completed by alreadydone
2s
2s
feat(RingTheory): Class Group of a Unique Factorization Domain is trivial bot fix style #142052: Pull request #33744 created by alreadydone
11s
11s
feat(RingTheory): Class Group of a Unique Factorization Domain is trivial Maintainer merge #190742: Pull request #33744 created by alreadydone
1s
1s
feat(RingTheory): Class Group of a Unique Factorization Domain is trivial Add "ready-to-merge" and "delegated" label #174543: Pull request #33744 created by alreadydone
9s
9s
feat(RingTheory): Class Group of a Unique Factorization Domain is trivial Maintainer merge #190741: Pull request #33744 submitted by alreadydone
1s
1s
feat(RingTheory): Class Group of a Unique Factorization Domain is trivial Add "ready-to-merge" and "delegated" label #174542: Pull request #33744 submitted by alreadydone
11s
11s
feat(RingTheory): Class Group of a Unique Factorization Domain is trivial bot fix style #142051: Pull request #33744 submitted by alreadydone
15s
15s
Update Mathlib Dependencies Update Mathlib Dependencies #13793: Scheduled
1m 7s master
master
1m 7s
feat(LinearAlgebra): add Module.IsPrincipal Autolabel PRs #19358: Pull request #33769 opened by alreadydone
1m 19s
1m 19s
feat(LinearAlgebra): add Module.IsPrincipal Post PR summary comment #116352: Pull request #33769 opened by alreadydone
1m 23s
1m 23s
feat(LinearAlgebra): add Module.IsPrincipal Commit Verification #207: Pull request #33769 opened by alreadydone
42s alreadydone:Module.IsPrincipal
alreadydone:Module.IsPrincipal
42s