Update zio, zio-streams to 2.0.19 #357
+29
β5
Merged
Mergify / Queue: Embarked in merge queue
succeeded
Nov 12, 2023 in 0s
The pull request embarked with master (1caa2e5) is mergeable
Required conditions for merge:
-
check-success~=build \(2.13.\d+\)
-
check-success~=build \(3.\d+.\d+\)
- all of [π From pull request rule Merge dependency-update PRs]:
-draft
[:pushpin: queue requirement]-mergify-configuration-changed
[:pushpin: queue -> allow_merging_configuration_change setting requirement]- all of:
- any of [:twisted_rightwards_arrows: queue conditions]:
- all of [:pushpin: queue conditions of queue
default
]
- all of [:pushpin: queue conditions of queue
Check-runs and statuses of the embarked pull request #357:
publish | details | ||
build (2.13.12) | details | ||
build (3.3.1) | details |
Loading