Fix/error parse #1507
Merged
Fix/error parse #1507
Mergify / Queue: Embarked in merge queue
succeeded
Jan 8, 2025 in 0s
The pull request embarked with dev (38a872f) will be merged soon
Required conditions for merge:
#approved-reviews-by >= 1[🛡 GitHub branch protection]#changes-requested-reviews-by = 0[🛡 GitHub branch protection]#review-threads-unresolved = 0[🛡 GitHub branch protection]label!=wiplabel!=work-in-progress-
status-success~=^build\s\(.*\)$ - any of [🛡 GitHub branch protection]:
-
check-success = build (22) -
check-neutral = build (22) -
check-skipped = build (22)
-
Check-runs and statuses of the embarked pull request #1507:
 |  | WIP — Ready for review | details |
|  | build (22) | details |
| | build-doc (22) | details |
| | integration-test (22) | details |
| | lint (22) | details |
| | unit-test (22) | details |
| | version-check (22) | details |
Loading