Skip to content

Fix incorrect analyzing of array_shift with non-empty-list property #12894

Fix incorrect analyzing of array_shift with non-empty-list property

Fix incorrect analyzing of array_shift with non-empty-list property #12894

Triggered via pull request September 8, 2025 10:28
Status Cancelled
Total duration 18s
Artifacts 2

issue-bot.yml

on: pull_request
Download data
15s
Download data
Matrix: Analyse
Evaluate results
0s
Evaluate results
Fit to window
Zoom out
Zoom in

Annotations

2 errors
Download data
Canceling since a higher priority waiting request for run-issue-bot-bug13438 exists
Issue bot
Canceling since a higher priority waiting request for run-issue-bot-bug13438 exists

Artifacts

Produced during runtime
Name Size Digest
issue-cache
575 KB
sha256:7c42997be1833c5855eef4f4098a4a2db9f5da9e94385c04178ad81c03f82d38
playground-cache
535 KB
sha256:4fa264a7efa1814d0197198beac71ddf00edc2358cf4925667e7d353c655b4bb