Skip to content
Close issues from merged PRs

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

Sign in to view logs

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

Triggered via pull request February 15, 2026 08:08
@staabmstaabm
closed #4933
Status Success
Total duration 5s
Artifacts –

close-issues-on-merge.yml

on: pull_request_target
Close linked issues
2s
Close linked issues
Fit to window
Zoom out
Zoom in