Skip to content

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

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 #13394

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

block-merge-commits.yml

on: pull_request
Block Merge Commits
10s
Block Merge Commits
Fit to window
Zoom out
Zoom in