chore(deps): upgrade dependencies #1037
Merged
Mergify / Queue: Embarked in merge queue
succeeded
Nov 30, 2023 in 0s
The pull request embarked with main (738f595) is mergeable
Required conditions for merge:
#approved-reviews-by>=1
#approved-reviews-by>=1
[🛡 GitHub branch protection]#changes-requested-reviews-by=0
[🛡 GitHub branch protection]-label~=(do-not-merge)
-
status-success=build
-
status-success=package-js
-
status-success=package-python
- all of [📃 From pull request rule Automatic merge on approval and successful build]:
#approved-reviews-by>=1
-draft
[:pushpin: queue requirement]-label~=(do-not-merge)
-mergify-configuration-changed
[:pushpin: queue -> allow_merging_configuration_change setting requirement]-
status-success=build
-
status-success=package-js
-
status-success=package-python
- any of [:twisted_rightwards_arrows: queue conditions]:
Check-runs and statuses of the embarked pull request #1037:
self-mutation | details | ||
Validate PR title | details | ||
Validate PR title | details | ||
approve | details | ||
approve | details | ||
build | details | ||
package-js | details | ||
package-python | details |
Loading