Skip to content

Actions: leanprover-community/mathlib4

Actions

Add "ready-to-merge" and "delegated" label

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
maintainer_bors.yml
2,500+ workflow runs
2,500+ workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
feat(AlgebraicTopology/SimplicialSet): single-cell boundary and horn attachments Add "ready-to-merge" and "delegated" label #242384: Issue comment #38848 (comment) created by mckoen
1s
1s
feat(AlgebraicTopology/SimplicialSet): single-cell boundary and horn attachments Add "ready-to-merge" and "delegated" label #242383: Pull request #38848 created by mckoen
1s
1s
feat(AlgebraicTopology/SimplicialSet): single-cell boundary and horn attachments Add "ready-to-merge" and "delegated" label #242382: Pull request #38848 submitted by mckoen
Skipped
Skipped
feat(AlgebraicGeometry): The pushforward of a quasi-coherent sheaf between affines is quasi-coherent Add "ready-to-merge" and "delegated" label #242381: Pull request #37189 created by Brian-Nugent
1s
1s
feat(AlgebraicGeometry): The pushforward of a quasi-coherent sheaf between affines is quasi-coherent Add "ready-to-merge" and "delegated" label #242380: Pull request #37189 submitted by Brian-Nugent
1s
1s
feat(AlgebraicGeometry): The pushforward of a quasi-coherent sheaf between affines is quasi-coherent Add "ready-to-merge" and "delegated" label #242379: Pull request #37189 created by Brian-Nugent
2s
2s
feat(AlgebraicGeometry): The pushforward of a quasi-coherent sheaf between affines is quasi-coherent Add "ready-to-merge" and "delegated" label #242378: Pull request #37189 submitted by Brian-Nugent
1s
1s
feat(AlgebraicGeometry): The pushforward of a quasi-coherent sheaf between affines is quasi-coherent Add "ready-to-merge" and "delegated" label #242377: Pull request #37189 created by Brian-Nugent
1s
1s
feat(AlgebraicGeometry): The pushforward of a quasi-coherent sheaf between affines is quasi-coherent Add "ready-to-merge" and "delegated" label #242376: Pull request #37189 submitted by Brian-Nugent
1s
1s
feat: define Submodule.IsTopCompl Add "ready-to-merge" and "delegated" label #242375: Pull request #38547 created by ADedecker
1s
1s
feat: define Submodule.IsTopCompl Add "ready-to-merge" and "delegated" label #242374: Pull request #38547 submitted by ADedecker
1s
1s
feat(Combinatorics/SimpleGraph/Connectivity): define vertex connectivity Add "ready-to-merge" and "delegated" label #242373: Pull request #33355 submitted by SnirBroshi
Skipped
Skipped
feat(Combinatorics/SimpleGraph/Connectivity): define vertex connectivity Add "ready-to-merge" and "delegated" label #242372: Pull request #33355 created by SnirBroshi
1s
1s
feat(Combinatorics/SimpleGraph/Connectivity): define vertex connectivity Add "ready-to-merge" and "delegated" label #242371: Pull request #33355 created by SnirBroshi
1s
1s
feat(Combinatorics/SimpleGraph/Connectivity): define vertex connectivity Add "ready-to-merge" and "delegated" label #242370: Pull request #33355 created by SnirBroshi
Skipped
Skipped
feat(Combinatorics/SimpleGraph/Connectivity): define vertex connectivity Add "ready-to-merge" and "delegated" label #242369: Pull request #33355 created by SnirBroshi
1s
1s
feat(Combinatorics/SimpleGraph/Connectivity): define vertex connectivity Add "ready-to-merge" and "delegated" label #242368: Pull request #33355 created by SnirBroshi
1s
1s
[Merged by Bors] - feat(Topology/Homeomorph): add Equiv.IsHomeomorph_iff and LinearEquiv.IsHomeomorph_iff Add "ready-to-merge" and "delegated" label #242367: Issue comment #38660 (comment) created by mathlib-bors Bot
1s
1s
Strict group homs are stable by Prod.map Add "ready-to-merge" and "delegated" label #242366: Issue comment #38421 (comment) created by ADedecker
1s
1s
feat: define Submodule.IsTopCompl Add "ready-to-merge" and "delegated" label #242365: Pull request #38547 created by ADedecker
1s
1s
feat: define Submodule.IsTopCompl Add "ready-to-merge" and "delegated" label #242364: Pull request #38547 submitted by ADedecker
Skipped
Skipped
[Merged by Bors] - feat(Topology/Homeomorph): add Equiv.IsHomeomorph_iff and LinearEquiv.IsHomeomorph_iff Add "ready-to-merge" and "delegated" label #242363: Issue comment #38660 (comment) created by ADedecker
8s
8s
feat(Topology/Algebra/Module): bundle Submodule.mkQ as a continuous linear map Add "ready-to-merge" and "delegated" label #242362: Pull request #38811 created by ADedecker
1s
1s
feat(Topology/Algebra/Module): bundle Submodule.mkQ as a continuous linear map Add "ready-to-merge" and "delegated" label #242361: Pull request #38811 submitted by ADedecker
1s
1s
chore(SetTheory/Ordinal/Arithmetic): golf monoid and addMonoidWithOne Add "ready-to-merge" and "delegated" label #242360: Issue comment #38842 (comment) created by SnirBroshi
1s
1s