Skip to content

Actions: leanprover-community/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
800,790 workflow run results
800,790 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat(Normed/Field): completeSpace_iff_isComplete_closedBall (#15777) continuous integration (mathlib forks) #132535: Commit fb04c4b pushed by mathlib-bors bot
September 17, 2024 23:58 12s staging
staging
September 17, 2024 23:58 12s
feat(Normed/Field): completeSpace_iff_isComplete_closedBall (#15777) continuous integration (staging) #10507: Commit fb04c4b pushed by mathlib-bors bot
September 17, 2024 23:58 27m 45s staging
staging
September 17, 2024 23:58 27m 45s
[Merged by Bors] - feat(Normed/Field): completeSpace_iff_isComplete_closedBall Add "ready-to-merge" and "delegated" label from comment #56405: Issue comment #15777 (comment) created by kim-em
September 17, 2024 23:58 14s
September 17, 2024 23:58 14s
[Merged by Bors] - feat(Normed/Field): completeSpace_iff_isComplete_closedBall Maintainer merge (comment) #61341: Issue comment #15777 (comment) created by kim-em
September 17, 2024 23:58 2s
September 17, 2024 23:58 2s
[Merged by Bors] - feat(Normed/Field): completeSpace_iff_isComplete_closedBall bot fix style (comment) #2979: Issue comment #15777 (comment) created by kim-em
September 17, 2024 23:58 2s
September 17, 2024 23:58 2s
[Merged by Bors] - feat(Normed/Field): completeSpace_iff_isComplete_closedBall Label PR based on Comment #37095: Issue comment #15777 (comment) created by kim-em
September 17, 2024 23:58 2s
September 17, 2024 23:58 2s
feat(Logic/Small/Set): Small (Iic a) → Small (Ixx a), etc. lint and suggest #55311: Pull request #16723 synchronize by vihdzp
September 17, 2024 23:57 1m 12s vi.small_interval
vi.small_interval
September 17, 2024 23:57 1m 12s
feat(Logic/Small/Set): Small (Iic a) → Small (Ixx a), etc. Label New Contributors #33067: Pull request #16723 synchronize by vihdzp
September 17, 2024 23:57 12s vi.small_interval
vi.small_interval
September 17, 2024 23:57 12s
feat(Logic/Small/Set): Small (Iic a) → Small (Ixx a), etc. Post PR summary comment #18922: Pull request #16723 synchronize by vihdzp
September 17, 2024 23:57 42s vi.small_interval
vi.small_interval
September 17, 2024 23:57 42s
Merge branch 'master' into vi.small_interval continuous integration #124706: Commit c426189 pushed by vihdzp
September 17, 2024 23:57 5m 59s vi.small_interval
vi.small_interval
September 17, 2024 23:57 5m 59s
Merge branch 'master' into vi.small_interval continuous integration (mathlib forks) #132534: Commit c426189 pushed by vihdzp
September 17, 2024 23:57 11s vi.small_interval
vi.small_interval
September 17, 2024 23:57 11s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #83143: completed by vihdzp
September 17, 2024 23:54 2s
September 17, 2024 23:54 2s
feat(Valued/LocallyCompact): totallyBounded_iff_finite_residueField Label New Contributors #33066: Pull request #15424 synchronize by pechersky
September 17, 2024 23:53 15s pechersky/totally-bounded-iff-finite-residue
pechersky/totally-bounded-iff-finite-residue
September 17, 2024 23:53 15s
feat(Valued/LocallyCompact): totallyBounded_iff_finite_residueField lint and suggest #55310: Pull request #15424 synchronize by pechersky
September 17, 2024 23:53 1m 40s pechersky/totally-bounded-iff-finite-residue
pechersky/totally-bounded-iff-finite-residue
September 17, 2024 23:53 1m 40s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #83142: completed by mathlib-bors bot
September 17, 2024 23:53 2s
September 17, 2024 23:53 2s
feat(Valued/LocallyCompact): totallyBounded_iff_finite_residueField Post PR summary comment #18921: Pull request #15424 synchronize by pechersky
September 17, 2024 23:53 46s pechersky/totally-bounded-iff-finite-residue
pechersky/totally-bounded-iff-finite-residue
September 17, 2024 23:53 46s
Merge branch 'master' into pechersky/totally-bounded-iff-finite-residue continuous integration (mathlib forks) #132533: Commit 424fbbf pushed by pechersky
September 17, 2024 23:53 10s pechersky/totally-bounded-iff-finite-residue
pechersky/totally-bounded-iff-finite-residue
September 17, 2024 23:53 10s
Merge branch 'master' into pechersky/totally-bounded-iff-finite-residue continuous integration #124705: Commit 424fbbf pushed by pechersky
September 17, 2024 23:53 48m 32s pechersky/totally-bounded-iff-finite-residue
pechersky/totally-bounded-iff-finite-residue
September 17, 2024 23:53 48m 32s
[Merged by Bors] - feat(GroupTheory/Archimedean): LinearOrderedCommGroupWithZero.discrete_or_denselyOrdered lint and suggest #55309: Pull request #15846 synchronize by pechersky
September 17, 2024 23:52 1m 15s pechersky/linear-ordered-comm-with-zero
pechersky/linear-ordered-comm-with-zero
September 17, 2024 23:52 1m 15s
[Merged by Bors] - feat(GroupTheory/Archimedean): LinearOrderedCommGroupWithZero.discrete_or_denselyOrdered Post PR summary comment #18920: Pull request #15846 synchronize by pechersky
September 17, 2024 23:52 46s pechersky/linear-ordered-comm-with-zero
pechersky/linear-ordered-comm-with-zero
September 17, 2024 23:52 46s
[Merged by Bors] - feat(GroupTheory/Archimedean): LinearOrderedCommGroupWithZero.discrete_or_denselyOrdered Label New Contributors #33065: Pull request #15846 synchronize by pechersky
September 17, 2024 23:52 12s pechersky/linear-ordered-comm-with-zero
pechersky/linear-ordered-comm-with-zero
September 17, 2024 23:52 12s
Merge branch 'master' into pechersky/linear-ordered-comm-with-zero continuous integration (mathlib forks) #132532: Commit 3db831a pushed by pechersky
September 17, 2024 23:52 12s pechersky/linear-ordered-comm-with-zero
pechersky/linear-ordered-comm-with-zero
September 17, 2024 23:52 12s
Merge branch 'master' into pechersky/linear-ordered-comm-with-zero continuous integration #124704: Commit 3db831a pushed by pechersky
September 17, 2024 23:52 36m 31s pechersky/linear-ordered-comm-with-zero
pechersky/linear-ordered-comm-with-zero
September 17, 2024 23:52 36m 31s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #83141: completed by JonBannon
September 17, 2024 23:49 3s
September 17, 2024 23:49 3s
Merge conflicts Merge conflicts #60024: Scheduled
September 17, 2024 23:48 10m 30s master
master
September 17, 2024 23:48 10m 30s