Skip to content

Actions: leanprover-community/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
951,139 workflow runs
951,139 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #98326: completed by Vierkantor
November 7, 2024 13:11 2s
November 7, 2024 13:11 2s
feat(RingTheory/GradedAlgebra): define homogeneous submodule Post PR summary comment #29328: Pull request #18728 synchronize by jjaassoonn
November 7, 2024 13:11 49s zjj/homogenousSubmodule'
zjj/homogenousSubmodule'
November 7, 2024 13:11 49s
feat(RingTheory/GradedAlgebra): define homogeneous submodule lint and suggest #65717: Pull request #18728 synchronize by jjaassoonn
November 7, 2024 13:11 3s zjj/homogenousSubmodule'
zjj/homogenousSubmodule'
November 7, 2024 13:11 3s
feat(RingTheory/GradedAlgebra): define homogeneous submodule Label New Contributors #43473: Pull request #18728 synchronize by jjaassoonn
November 7, 2024 13:11 12s zjj/homogenousSubmodule'
zjj/homogenousSubmodule'
November 7, 2024 13:11 12s
fix1 continuous integration (mathlib forks) #148835: Commit a19f873 pushed by jjaassoonn
November 7, 2024 13:11 11s zjj/homogenousSubmodule'
zjj/homogenousSubmodule'
November 7, 2024 13:11 11s
fix1 continuous integration #139774: Commit a19f873 pushed by jjaassoonn
November 7, 2024 13:11 1m 44s zjj/homogenousSubmodule'
zjj/homogenousSubmodule'
November 7, 2024 13:11 1m 44s
refactor(AlgebraicGeometry): replace OpenCover by Cover @IsOpenImmersion lint and suggest #65716: Pull request #18727 synchronize by chrisflav
November 7, 2024 13:11 1m 39s chrisflav-covers
chrisflav-covers
November 7, 2024 13:11 1m 39s
refactor(AlgebraicGeometry): replace OpenCover by Cover @IsOpenImmersion Post PR summary comment #29327: Pull request #18727 synchronize by chrisflav
November 7, 2024 13:11 54s chrisflav-covers
chrisflav-covers
November 7, 2024 13:11 54s
refactor(AlgebraicGeometry): replace OpenCover by Cover @IsOpenImmersion Label New Contributors #43472: Pull request #18727 synchronize by chrisflav
November 7, 2024 13:11 13s chrisflav-covers
chrisflav-covers
November 7, 2024 13:11 13s
fix lint continuous integration (mathlib forks) #148834: Commit c34aa71 pushed by chrisflav
November 7, 2024 13:11 10s chrisflav-covers
chrisflav-covers
November 7, 2024 13:11 10s
fix lint continuous integration #139773: Commit c34aa71 pushed by chrisflav
November 7, 2024 13:11 9m 43s chrisflav-covers
chrisflav-covers
November 7, 2024 13:11 9m 43s
chore: move GroupTheory.FiniteAbelian to GroupTheory.FiniteAbelian.Basic Label New Contributors #43471: Pull request #18729 opened by MichaelStollBayreuth
November 7, 2024 13:09 11s MS_ortho_abelian
MS_ortho_abelian
November 7, 2024 13:09 11s
chore: move GroupTheory.FiniteAbelian to GroupTheory.FiniteAbelian.Basic lint and suggest #65715: Pull request #18729 opened by MichaelStollBayreuth
November 7, 2024 13:09 1m 40s MS_ortho_abelian
MS_ortho_abelian
November 7, 2024 13:09 1m 40s
chore: move GroupTheory.FiniteAbelian to GroupTheory.FiniteAbelian.Basic Autolabel PRs #2096: Pull request #18729 opened by MichaelStollBayreuth
November 7, 2024 13:09 51s MS_ortho_abelian
MS_ortho_abelian
November 7, 2024 13:09 51s
chore: move GroupTheory.FiniteAbelian to GroupTheory.FiniteAbelian.Basic Post PR summary comment #29326: Pull request #18729 opened by MichaelStollBayreuth
November 7, 2024 13:09 52s MS_ortho_abelian
MS_ortho_abelian
November 7, 2024 13:09 52s
feat: define restrictions of perfect pairings (#18559) continuous integration (mathlib forks) #148833: Commit 84343c9 pushed by mathlib4-update-dependencies-bot
November 7, 2024 13:09 14s update-dependencies-bot-use-only
update-dependencies-bot-use-only
November 7, 2024 13:09 14s
feat: define restrictions of perfect pairings (#18559) continuous integration #139772: Commit 84343c9 pushed by mathlib4-update-dependencies-bot
November 7, 2024 13:09 8m 1s update-dependencies-bot-use-only
update-dependencies-bot-use-only
November 7, 2024 13:09 8m 1s
Merge conflicts Merge conflicts #64493: Scheduled
November 7, 2024 13:09 8m 23s master
master
November 7, 2024 13:09 8m 23s
Update Mathlib Dependencies Update Mathlib Dependencies #3538: Scheduled
November 7, 2024 13:08 50s master
master
November 7, 2024 13:08 50s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #98325: completed by chrisflav
November 7, 2024 13:08 2s
November 7, 2024 13:08 2s
Dependent Issues Dependent Issues #65613: Scheduled
November 7, 2024 13:08 3m 23s master
master
November 7, 2024 13:08 3m 23s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #98324: completed by jjaassoonn
November 7, 2024 13:07 2s
November 7, 2024 13:07 2s
feat(RingTheory/GradedAlgebra): define homogeneous submodule Label New Contributors #43470: Pull request #18728 opened by jjaassoonn
November 7, 2024 13:06 12s zjj/homogenousSubmodule'
zjj/homogenousSubmodule'
November 7, 2024 13:06 12s
feat(RingTheory/GradedAlgebra): define homogeneous submodule Post PR summary comment #29325: Pull request #18728 opened by jjaassoonn
November 7, 2024 13:06 47s zjj/homogenousSubmodule'
zjj/homogenousSubmodule'
November 7, 2024 13:06 47s
feat(RingTheory/GradedAlgebra): define homogeneous submodule lint and suggest #65714: Pull request #18728 opened by jjaassoonn
November 7, 2024 13:06 3s zjj/homogenousSubmodule'
zjj/homogenousSubmodule'
November 7, 2024 13:06 3s