Update cats-core to 2.12.0 #385
Merged
Mergify / Queue: Embarked in merge queue
succeeded
May 29, 2024 in 0s
The pull request embarked with master (f2307aa) will be merged soon
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
[π queue requirement]- all of:
- any of [π queue -> configuration change requirements]:
-mergify-configuration-changed
-
check-success=Configuration changed
- any of [π queue conditions]:
- all of [π queue conditions of queue
default
]
- all of [π queue conditions of queue
Check-runs and statuses of the embarked pull request #385:
![]() | publish | details | |
![]() | build (2.13.12) | details | |
![]() | build (3.3.3) | details |
Loading