Skip to content

Actions: leanprover-community/mathlib4

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore(Data/Set): split Finite.lean into Defs, Basic, Lemmas Label New Contributors #43477: Pull request #18619 synchronize by Vierkantor
November 7, 2024 13:28 12s split-Data.Set.Finite
split-Data.Set.Finite
November 7, 2024 13:28 12s
Shake continuous integration #139779: Commit df54835 pushed by Vierkantor
November 7, 2024 13:28 In progress split-Data.Set.Finite
split-Data.Set.Finite
November 7, 2024 13:28 In progress
Shake continuous integration (mathlib forks) #148840: Commit df54835 pushed by Vierkantor
November 7, 2024 13:28 14s split-Data.Set.Finite
split-Data.Set.Finite
November 7, 2024 13:28 14s
feat: Mason-Stothers theorem (polynomial ABC) Label New Contributors #43476: Pull request #15706 synchronize by jcpaik
November 7, 2024 13:28 12s feature/mason-stothers
feature/mason-stothers
November 7, 2024 13:28 12s
feat: Mason-Stothers theorem (polynomial ABC) Post PR summary comment #29331: Pull request #15706 synchronize by jcpaik
November 7, 2024 13:28 48s feature/mason-stothers
feature/mason-stothers
November 7, 2024 13:28 48s
feat: Mason-Stothers theorem (polynomial ABC) lint and suggest #65720: Pull request #15706 synchronize by jcpaik
November 7, 2024 13:28 1m 38s feature/mason-stothers
feature/mason-stothers
November 7, 2024 13:28 1m 38s
Address comments + tidy up proof continuous integration #139778: Commit 2ffd905 pushed by jcpaik
November 7, 2024 13:28 6m 46s feature/mason-stothers
feature/mason-stothers
November 7, 2024 13:28 6m 46s
Address comments + tidy up proof continuous integration (mathlib forks) #148839: Commit 2ffd905 pushed by jcpaik
November 7, 2024 13:28 12s feature/mason-stothers
feature/mason-stothers
November 7, 2024 13:28 12s
Merge conflicts Merge conflicts #64494: Scheduled
November 7, 2024 13:24 6m 18s master
master
November 7, 2024 13:24 6m 18s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #98334: completed by chrisflav
November 7, 2024 13:23 1s
November 7, 2024 13:23 1s
feat(RingTheory/GradedAlgebra): define homogeneous submodule Post PR summary comment #29330: Pull request #18728 synchronize by jjaassoonn
November 7, 2024 13:22 54s zjj/homogenousSubmodule'
zjj/homogenousSubmodule'
November 7, 2024 13:22 54s
feat(RingTheory/GradedAlgebra): define homogeneous submodule Label New Contributors #43475: Pull request #18728 synchronize by jjaassoonn
November 7, 2024 13:22 10s zjj/homogenousSubmodule'
zjj/homogenousSubmodule'
November 7, 2024 13:22 10s
feat(RingTheory/GradedAlgebra): define homogeneous submodule lint and suggest #65719: Pull request #18728 synchronize by jjaassoonn
November 7, 2024 13:22 2s zjj/homogenousSubmodule'
zjj/homogenousSubmodule'
November 7, 2024 13:22 2s
fix2 continuous integration (mathlib forks) #148838: Commit cb4deb6 pushed by jjaassoonn
November 7, 2024 13:22 10s zjj/homogenousSubmodule'
zjj/homogenousSubmodule'
November 7, 2024 13:22 10s
fix2 continuous integration #139777: Commit cb4deb6 pushed by jjaassoonn
November 7, 2024 13:22 7m 3s zjj/homogenousSubmodule'
zjj/homogenousSubmodule'
November 7, 2024 13:22 7m 3s
Dependent Issues Dependent Issues #65614: Scheduled
November 7, 2024 13:21 3m 36s master
master
November 7, 2024 13:21 3m 36s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #98333: completed by Vierkantor
November 7, 2024 13:21 2s
November 7, 2024 13:21 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #98332: completed by leanprover-community-mathlib4-bot
November 7, 2024 13:17 2s
November 7, 2024 13:17 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #98331: completed by mathlib4-update-dependencies-bot
November 7, 2024 13:17 3s
November 7, 2024 13:17 3s
Monitor Dependency Update Failures Monitor Dependency Update Failures #5093: completed by mathlib4-update-dependencies-bot
November 7, 2024 13:17 3s
November 7, 2024 13:17 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #98330: completed by leanprover-community-mathlib4-bot
November 7, 2024 13:15 14s
November 7, 2024 13:15 14s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #98329: completed by jjaassoonn
November 7, 2024 13:13 3s
November 7, 2024 13:13 3s
chore(Data/Set): split Finite.lean into Defs, Basic, Lemmas lint and suggest #65718: Pull request #18619 synchronize by Vierkantor
November 7, 2024 13:13 2m 35s split-Data.Set.Finite
split-Data.Set.Finite
November 7, 2024 13:13 2m 35s
chore(Data/Set): split Finite.lean into Defs, Basic, Lemmas Post PR summary comment #29329: Pull request #18619 synchronize by Vierkantor
November 7, 2024 13:13 48s split-Data.Set.Finite
split-Data.Set.Finite
November 7, 2024 13:13 48s
chore(Data/Set): split Finite.lean into Defs, Basic, Lemmas Label New Contributors #43474: Pull request #18619 synchronize by Vierkantor
November 7, 2024 13:13 11s split-Data.Set.Finite
split-Data.Set.Finite
November 7, 2024 13:13 11s