chore(deps): upgrade dev dependencies #2218
Merged
Mergify / Queue: Embarked in merge queue
succeeded
Oct 11, 2024 in 0s
The pull request embarked with master (7894d1b) will be merged soon
Required conditions for merge:
#approved-reviews-by >= 1
[🛡 GitHub branch protection]#approved-reviews-by>=1
#changes-requested-reviews-by = 0
[🛡 GitHub branch protection]-label~=(do-not-merge)
-
status-success=build
- all of [📃 From pull request rule Automatic merge on approval and successful build]:
#approved-reviews-by>=1
-closed
[📌 queue requirement]-conflict
[📌 queue requirement]-draft
[📌 queue requirement]-label~=(do-not-merge)
-
status-success=build
- any of [📌 queue -> configuration change requirements]:
-mergify-configuration-changed
-
check-success = Configuration changed
- any of [🔀 queue conditions]:
- any of [🛡 GitHub branch protection]:
-
check-success = build
-
check-neutral = build
-
check-skipped = build
-
Check-runs and statuses of the embarked pull request #2218:
assign-to-project | details | ||
self-mutation | details | ||
DCO — DCO | details | ||
Validate PR title | details | ||
approve | details | ||
build | details |
Loading