Skip to content

Actions: leanprover-community/mathlib4

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
611,291 workflow runs
611,291 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
feat: variations on the uniformity of uniform convergence given functions whose ranges cover the space Label New Contributors #13673: Pull request #13534 synchronize by j-loreaux
June 5, 2024 15:52 15s AD_glue_piecewise_topology
AD_glue_piecewise_topology
June 5, 2024 15:52 15s
feat: variations on the uniformity of uniform convergence given functions whose ranges cover the space lint and suggest #35943: Pull request #13534 synchronize by j-loreaux
June 5, 2024 15:52 1m 0s AD_glue_piecewise_topology
AD_glue_piecewise_topology
June 5, 2024 15:52 1m 0s
fix continuous integration #96784: Commit 9d2a363 pushed by j-loreaux
June 5, 2024 15:52 In progress AD_glue_piecewise_topology
AD_glue_piecewise_topology
June 5, 2024 15:52 In progress
fix continuous integration (mathlib forks) #102508: Commit 9d2a363 pushed by j-loreaux
June 5, 2024 15:52 12s AD_glue_piecewise_topology
AD_glue_piecewise_topology
June 5, 2024 15:52 12s
feat: automatically replace deprecations Label New Contributors #13672: Pull request #13483 synchronize by adomani
June 5, 2024 15:50 13s adomani/auto-deprecations
adomani/auto-deprecations
June 5, 2024 15:50 13s
feat: automatically replace deprecations lint and suggest #35942: Pull request #13483 synchronize by adomani
June 5, 2024 15:50 55s adomani/auto-deprecations
adomani/auto-deprecations
June 5, 2024 15:50 55s
parse paths continuous integration #96783: Commit 9dd8953 pushed by adomani
June 5, 2024 15:50 In progress adomani/auto-deprecations
adomani/auto-deprecations
June 5, 2024 15:50 In progress
parse paths continuous integration (mathlib forks) #102507: Commit 9dd8953 pushed by adomani
June 5, 2024 15:50 11s adomani/auto-deprecations
adomani/auto-deprecations
June 5, 2024 15:50 11s
chore: make SMulCommClass A A B and SMulCommClass A B B higher priority Maintainer merge (comment) #46840: Issue comment #7875 (comment) created by negiizhao
June 5, 2024 15:49 2s
June 5, 2024 15:49 2s
chore: make SMulCommClass A A B and SMulCommClass A B B higher priority Label PR based on Comment #23778: Issue comment #7875 (comment) created by negiizhao
June 5, 2024 15:49 2s
June 5, 2024 15:49 2s
chore: make SMulCommClass A A B and SMulCommClass A B B higher priority move-decls (comment) #1478: Issue comment #7875 (comment) created by negiizhao
June 5, 2024 15:49 2s
June 5, 2024 15:49 2s
chore: make SMulCommClass A A B and SMulCommClass A B B higher priority Add "ready-to-merge" and "delegated" label from comment #43088: Issue comment #7875 (comment) created by negiizhao
June 5, 2024 15:49 3s
June 5, 2024 15:49 3s
Trigger CI for https://github.com/leanprover/lean4/pull/4242 continuous integration (mathlib forks) #102506: Commit c73e7e8 pushed by leanprover-community-mathlib4-bot
June 5, 2024 15:49 13s lean-pr-testing-4242
lean-pr-testing-4242
June 5, 2024 15:49 13s
Trigger CI for https://github.com/leanprover/lean4/pull/4242 continuous integration #96782: Commit c73e7e8 pushed by leanprover-community-mathlib4-bot
June 5, 2024 15:49 In progress lean-pr-testing-4242
lean-pr-testing-4242
June 5, 2024 15:49 In progress
Merge conflicts Merge conflicts #50598: Scheduled
June 5, 2024 15:48 15s master
master
June 5, 2024 15:48 15s
feat: Binary entropy move-decls (comment) #1477: Issue comment #9734 (comment) created by dupuisf
June 5, 2024 15:46 3s
June 5, 2024 15:46 3s
feat: Binary entropy Label PR based on Comment #23777: Issue comment #9734 (comment) created by dupuisf
June 5, 2024 15:46 3s
June 5, 2024 15:46 3s
feat: Binary entropy Add "ready-to-merge" and "delegated" label from comment #43087: Issue comment #9734 (comment) created by dupuisf
June 5, 2024 15:46 3s
June 5, 2024 15:46 3s
feat: Binary entropy Maintainer merge (comment) #46839: Issue comment #9734 (comment) created by dupuisf
June 5, 2024 15:46 2s
June 5, 2024 15:46 2s
Dependent Issues Dependent Issues #51452: Scheduled
June 5, 2024 15:46 3m 2s master
master
June 5, 2024 15:46 3m 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #55039: completed by markusschmaus
June 5, 2024 15:46 3s
June 5, 2024 15:46 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #55038: completed by Ruben-VandeVelde
June 5, 2024 15:45 3s
June 5, 2024 15:45 3s
wip 5 continuous integration #96781: Commit 8f7857d pushed by Ruben-VandeVelde
June 5, 2024 15:42 2m 50s eqLocus
eqLocus
June 5, 2024 15:42 2m 50s
wip 5 continuous integration (mathlib forks) #102505: Commit 8f7857d pushed by Ruben-VandeVelde
June 5, 2024 15:42 10s eqLocus
eqLocus
June 5, 2024 15:42 10s
chore(LocallyConvex/Bounded): use implicit args (#13531) continuous integration (staging) #8378: Commit 604b60d pushed by mathlib-bors bot
June 5, 2024 15:42 In progress staging
staging
June 5, 2024 15:42 In progress