Fix small docu bug #4828
Merged
Fix small docu bug #4828
Mergify / Queue: Embarked in merge queue
succeeded
Dec 18, 2024 in 0s
The pull request embarked with master (606e9e4) will be merged soon
Required conditions for merge:
#approved-reviews-by >= 1[🛡 GitHub branch protection]#approved-reviews-by >= 1[🛡 GitHub repository ruleset rule]#approved-reviews-by >= 1[🛡 GitHub repository ruleset rule]#approved-reviews-by>=1#changes-requested-reviews-by = 0[🛡 GitHub branch protection]#changes-requested-reviews-by = 0[🛡 GitHub repository ruleset rule]#changes-requested-reviews-by = 0[🛡 GitHub repository ruleset rule]#changes-requested-reviews-by=0branch-protection-review-decision = APPROVED[🛡 GitHub repository ruleset rule]branch-protection-review-decision = APPROVED[🛡 GitHub repository ruleset rule]-
status-success=tests (macos-13) -
status-success=tests (ubuntu-latest) - any of [🛡 GitHub branch protection]:
-
check-success = tests (ubuntu-latest) -
check-neutral = tests (ubuntu-latest) -
check-skipped = tests (ubuntu-latest)
-
- any of [🛡 GitHub branch protection]:
-
check-success = tests (macos-13) -
check-neutral = tests (macos-13) -
check-skipped = tests (macos-13)
-
Check-runs and statuses of the embarked pull request #4828:
 |  | artifacts | details |
| | call-check-cla / Check External Contributions | details |
| | reports | details |
 | | call-check-cla / Check Membership | details |
| | call-repo-policies / Check Bot Policies | details |
| | tests (macos-13) | details |
| | tests (ubuntu-latest) | details |
| | update-hash | details |
Loading