fixed NodeDefs.getDescription: do not return name if empty #239
Mergify / Queue: Embarked in merge queue
succeeded
Aug 26, 2024 in 0s
The pull request embarked with master (5adeec0) will be merged soon
Required conditions for merge:
-
check-success=DeepScan -
check-success=build - all of [📃 From pull request rule Automatic merge on approval]:
#approved-reviews-by>=1-draft[📌 queue requirement]- any of [📌 queue -> configuration change requirements]:
-mergify-configuration-changed-
check-success=Configuration changed
- any of [🔀 queue conditions]:
- all of [📌 queue conditions of queue
default]:- any of [🛡 GitHub branch protection]:
-
check-success=DeepScan -
check-neutral=DeepScan -
check-skipped=DeepScan
-
- any of [🛡 GitHub branch protection]:
-
check-success=build -
check-neutral=build -
check-skipped=build
-
- any of [🛡 GitHub branch protection]:
- all of [📌 queue conditions of queue
- any of [🛡 GitHub branch protection]:
-
check-success=DeepScan -
check-neutral=DeepScan -
check-skipped=DeepScan
-
- any of [🛡 GitHub branch protection]:
-
check-success=build -
check-neutral=build -
check-skipped=build
-
Check-runs and statuses of the embarked pull request #239:
 |  | DeepScan 0 new and 0 fixed issues | details |
|  | SonarCloud Code Analysis — Quality Gate passed | details |
|  | build | details |
Loading