chore(dependencies): Autobump korkVersion #4793
Merged
Mergify / Queue: Embarked in merge queue
succeeded
Nov 5, 2024 in 0s
The pull request embarked with master (0284e75) will be merged soon
Required conditions for merge:
-
status-success=build
- all of [📃 From pull request rule Automatically merge autobump PRs on CI success]:
-closed
[📌 queue requirement]-conflict
[📌 queue requirement]-draft
[📌 queue requirement]author:spinnakerbot
-
base~=^(master|release-)
label~=autobump-*
-
status-success=build
- any of [📌 queue -> configuration change requirements]:
-mergify-configuration-changed
-
check-success = Configuration changed
- any of [🔀 queue conditions]:
- all of [📌 queue conditions of queue
default
]:- any of [🛡 GitHub branch protection]:
-
check-success = build
-
check-neutral = build
-
check-skipped = build
-
- any of [🛡 GitHub branch protection]:
- all of [📌 queue conditions of queue
- any of [🛡 GitHub branch protection]:
-
check-success = build
-
check-neutral = build
-
check-skipped = build
-
Check-runs and statuses of the embarked pull request #4793:
build | details |
Loading