docs: add another equivalence for the implication operator (backport #13232)#13586
Merged
mergify[bot] merged 1 commit intoJul 30, 2025
Merged
Mergify / Queue: Embarked in merge queue
succeeded
Jul 30, 2025 in 0s
The pull request embarked with 2.29-maintenance (56069a9), #13590, #13580, #13599 and #13594 will be merged soon
Required conditions for merge:
-
check-success=installer test on macos -
check-success=installer test on ubuntu -
check-success=tests on macos -
check-success=tests on ubuntu -
check-success=vm_tests - any of [🛡 GitHub branch protection]:
-
check-success = installer test on macos -
check-neutral = installer test on macos -
check-skipped = installer test on macos
-
- any of [🛡 GitHub branch protection]:
-
check-success = installer test on ubuntu -
check-neutral = installer test on ubuntu -
check-skipped = installer test on ubuntu
-
- any of [🛡 GitHub branch protection]:
-
check-success = tests on macos -
check-neutral = tests on macos -
check-skipped = tests on macos
-
- any of [🛡 GitHub branch protection]:
-
check-success = tests on ubuntu -
check-neutral = tests on ubuntu -
check-skipped = tests on ubuntu
-
Check-runs and statuses of the embarked pull request #13661:
 |  | docker_push_image | details |
 | | Analyze (actions) | details |
| | Analyze (python) | details |
| | Analyze (ruby) | details |
| | Check Docker secrets present for installer tests | details |
| | CodeQL — No new alerts in code changed by this pull request | details |
|  | dpulls — All dependencies are resolved. | details |
| | eval | details |
| | flake_regressions | details |
| | installer test on macos | details |
| | installer test on ubuntu | details |
| | labels | details |
| | tests on macos | details |
| | tests on ubuntu | details |
| | vm_tests | details |
Loading