[BugFix] Fix array index out of bounds when collect equivalent slot pairs from set operators (backport #47321) #88181
Triggered via pull request
June 25, 2024 02:43
mergify[bot]
opened
#47435
Status
Failure
Total duration
36s
Artifacts
–
pr-checker.yml
on: pull_request_target
SYNC CHECKER
5s
behavior-check
0s
feature-label-check
2s
changelist-check
0s
automerge-check
3s
Annotations
2 errors and 6 warnings
feature-label-check
Error: failed to remove labels: feature
|
automerge-check
Request failed due to following response errors:
- Pull request Pull request is closed
|
feature-label-check
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions-ecosystem/action-remove-labels@v1. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
feature-label-check
The following actions uses node12 which is deprecated and will be forced to run on node16: actions-ecosystem/action-remove-labels@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
feature-label-check
failed to remove label: feature: HttpError: Label does not exist
|
title-check
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: thehanimo/[email protected]. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
automerge-check
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions-ecosystem/action-add-labels@v1, peter-evans/enable-pull-request-automerge@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
automerge-check
The following actions uses node12 which is deprecated and will be forced to run on node16: actions-ecosystem/action-add-labels@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|