Bump actions/checkout from 3 to 4 #344
Merged
Mergify / Queue: Embarked in merge queue
succeeded
Sep 11, 2023 in 0s
The pull request embarked with master (76779d8) 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 #344:
publish | details | ||
build (2.13.11) | details | ||
build (3.3.1) | details |
Loading