Skip to content

Actions: leanprover-community/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
950,765 workflow runs
950,765 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat(Topology/Group): Continuous isomorphism lint and suggest #65686: Pull request #16991 synchronize by Thmoas-Guan
November 7, 2024 10:51 In progress continuous-isomorphism
continuous-isomorphism
November 7, 2024 10:51 In progress
feat(Topology/Group): Continuous isomorphism Label New Contributors #43442: Pull request #16991 synchronize by Thmoas-Guan
November 7, 2024 10:51 13s continuous-isomorphism
continuous-isomorphism
November 7, 2024 10:51 13s
feat(Topology/Group): Continuous isomorphism Post PR summary comment #29297: Pull request #16991 synchronize by Thmoas-Guan
November 7, 2024 10:51 In progress continuous-isomorphism
continuous-isomorphism
November 7, 2024 10:51 In progress
Merge branch 'HomeomorphClass' into continuous-isomorphism continuous integration (mathlib forks) #148794: Commit 185233c pushed by Thmoas-Guan
November 7, 2024 10:50 10s continuous-isomorphism
continuous-isomorphism
November 7, 2024 10:50 10s
Merge branch 'HomeomorphClass' into continuous-isomorphism continuous integration #139735: Commit 185233c pushed by Thmoas-Guan
November 7, 2024 10:50 In progress continuous-isomorphism
continuous-isomorphism
November 7, 2024 10:50 In progress
feat(Topology): Introduce HomeomorphClass lint and suggest #65685: Pull request #18689 synchronize by Thmoas-Guan
November 7, 2024 10:50 In progress HomeomorphClass
HomeomorphClass
November 7, 2024 10:50 In progress
feat(Topology): Introduce HomeomorphClass Label New Contributors #43441: Pull request #18689 synchronize by Thmoas-Guan
November 7, 2024 10:50 11s HomeomorphClass
HomeomorphClass
November 7, 2024 10:50 11s
feat(Topology): Introduce HomeomorphClass Post PR summary comment #29296: Pull request #18689 synchronize by Thmoas-Guan
November 7, 2024 10:50 53s HomeomorphClass
HomeomorphClass
November 7, 2024 10:50 53s
add coe lemma continuous integration (mathlib forks) #148793: Commit ade51ea pushed by Thmoas-Guan
November 7, 2024 10:50 10s HomeomorphClass
HomeomorphClass
November 7, 2024 10:50 10s
add coe lemma continuous integration #139734: Commit ade51ea pushed by Thmoas-Guan
November 7, 2024 10:50 In progress HomeomorphClass
HomeomorphClass
November 7, 2024 10:50 In progress
Merge conflicts Merge conflicts #64485: Scheduled
November 7, 2024 10:48 14s master
master
November 7, 2024 10:48 14s
Dependent Issues Dependent Issues #65604: Scheduled
November 7, 2024 10:46 In progress master
master
November 7, 2024 10:46 In progress
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #98287: completed by Vierkantor
November 7, 2024 10:44 2s
November 7, 2024 10:44 2s
feat: change definition of HasFTaylorSeries to take a parameter in WithTop ℕ∞ instead of ℕ∞ Post PR summary comment #29295: Pull request #18723 synchronize by sgouezel
November 7, 2024 10:44 48s SG_ftaylor_series
SG_ftaylor_series
November 7, 2024 10:44 48s
feat: change definition of HasFTaylorSeries to take a parameter in WithTop ℕ∞ instead of ℕ∞ Label New Contributors #43440: Pull request #18723 synchronize by sgouezel
November 7, 2024 10:44 12s SG_ftaylor_series
SG_ftaylor_series
November 7, 2024 10:44 12s
feat: change definition of HasFTaylorSeries to take a parameter in WithTop ℕ∞ instead of ℕ∞ lint and suggest #65684: Pull request #18723 synchronize by sgouezel
November 7, 2024 10:44 1m 27s SG_ftaylor_series
SG_ftaylor_series
November 7, 2024 10:44 1m 27s
fix continuous integration #139733: Commit 4f89185 pushed by sgouezel
November 7, 2024 10:44 In progress SG_ftaylor_series
SG_ftaylor_series
November 7, 2024 10:44 In progress
fix continuous integration (mathlib forks) #148792: Commit 4f89185 pushed by sgouezel
November 7, 2024 10:44 10s SG_ftaylor_series
SG_ftaylor_series
November 7, 2024 10:44 10s
feat: version within a set of ContMDiffAt.mfderiv Autolabel PRs #2091: Pull request #18724 opened by sgouezel
November 7, 2024 10:42 51s SG_mfderivWithin
SG_mfderivWithin
November 7, 2024 10:42 51s
feat: version within a set of ContMDiffAt.mfderiv lint and suggest #65683: Pull request #18724 opened by sgouezel
November 7, 2024 10:42 1m 39s SG_mfderivWithin
SG_mfderivWithin
November 7, 2024 10:42 1m 39s
feat: version within a set of ContMDiffAt.mfderiv Label New Contributors #43439: Pull request #18724 opened by sgouezel
November 7, 2024 10:42 14s SG_mfderivWithin
SG_mfderivWithin
November 7, 2024 10:42 14s
feat: version within a set of ContMDiffAt.mfderiv Post PR summary comment #29294: Pull request #18724 opened by sgouezel
November 7, 2024 10:42 52s SG_mfderivWithin
SG_mfderivWithin
November 7, 2024 10:42 52s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #98286: completed by Vierkantor
November 7, 2024 10:41 2s
November 7, 2024 10:41 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #98285: completed by sgouezel
November 7, 2024 10:40 2s
November 7, 2024 10:40 2s
Merge conflicts Merge conflicts #64484: Scheduled
November 7, 2024 10:36 16s master
master
November 7, 2024 10:36 16s