chore(deps-dev): Bump jsii-diff from 1.96.0 to 1.97.0 #1407
Mergify / Queue: Embarked in merge queue
failed
Apr 8, 2024 in 0s
Pull request #1407 has been dequeued
Pull request #1407 has been dequeued. GitHub can't merge the pull request for now.. GitHub can't merge the pull request for an unknown reason. You should retry later.
Required conditions for merge:
#approved-reviews-by>=1-label~=(do-not-merge)-
status-success=build -
status-success=package-dotnet -
status-success=package-java -
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[📌 queue requirement]-label~=(do-not-merge)-
status-success=build -
status-success=package-dotnet -
status-success=package-java -
status-success=package-js -
status-success=package-python - any of [📌 queue -> configuration change requirements]:
-mergify-configuration-changed-
check-success=Configuration changed
- any of [🔀 queue conditions]:
- all of [📌 queue conditions of queue
default]
- all of [📌 queue conditions of queue
Check-runs and statuses of the embarked pull request #1407:
 |  | self-mutation | details |
 | | Validate PR title | details |
| | approve | details |
| | build | details |
| | package-dotnet | details |
| | package-java | details |
| | package-js | details |
| | package-python | details |
Loading