chore(release-pkg): release packages #1475
Merged
Mergify / Queue: Embarked in merge queue
succeeded
Dec 13, 2024 in 0s
The pull request embarked with dev (21b0887) 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 #1475:
 |  | build-doc | details |
| | integration-test | details |
| | lint | details |
| | unit-test | details |
| | version-check | details |
 |  | WIP — Ready for review | details |
| | build (22) | details |
| | cleanup_tasks | details |
Loading