Fix port selection #423
Merged
Fix port selection #423
Mergify / Queue: Embarked in merge queue
succeeded
Jul 10, 2025 in 0s
The pull request embarked with unstable (4df75e0) will be merged soon
Required conditions for merge:
#approved-reviews-by >= 1[🛡 GitHub repository ruleset rule]#changes-requested-reviews-by = 0[🛡 GitHub repository ruleset rule]-
check-success=test-suite-success - any of [🛡 GitHub repository ruleset rule]:
-
check-success = license/cla -
check-neutral = license/cla -
check-skipped = license/cla
-
Check-runs and statuses of the embarked pull request #424:
| Check broken links | details | ||
| Check for 'skip-ci' label | details | ||
| cargo-sort | details | ||
| cargo-udeps | details | ||
| check-code | details | ||
| check-fmt | details | ||
| check-msrv | details | ||
| debug-tests-ubuntu | details | ||
| license/cla Contributor License Agreement is signed. | details | ||
| lockbud | details | ||
| release-tests-ubuntu | details | ||
| spellcheck | details | ||
| target-branch-check | details | ||
| test-suite-success | details |
Loading