chore(deps): upgrade dependencies #726
Merged
This check has been archived and is scheduled for deletion.
Learn more about checks retention
Mergify / Queue: Embarked in merge queue
succeeded
Oct 18, 2023 in 0s
The pull request embarked with master (14aa085) is mergeable
Required conditions for merge:
#approved-reviews-by>=1-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]:
- all of [:pushpin: queue conditions of queue
default]
- all of [:pushpin: queue conditions of queue
Check-runs and statuses of the embarked pull request #726:
 |  | self-mutation | details |
 | | Validate PR title | details |
| | Validate PR title | details |
| | approve | details |
| | approve | details |
| | build | details |
| | package-js | details |
| | package-python | details |
Loading