Skip to content

Fix #13809: list<mixed> becomes array<int<0, max>, mixed> without array keys being modified #62

Fix #13809: list<mixed> becomes array<int<0, max>, mixed> without array keys being modified

Fix #13809: list<mixed> becomes array<int<0, max>, mixed> without array keys being modified #62

Triggered via pull request February 15, 2026 07:58
Status Success
Total duration 13m 16s
Artifacts

claude-fix-pr-ci.yml

on: pull_request
Wait for CI checks
12m 48s
Wait for CI checks
Fix CI failure
6s
Fix CI failure
Fit to window
Zoom out
Zoom in