Merge bot PR

Retain list type when assigning to offset 1 of non-empty-list #2872

Sign in to view logs

Triggered via pull request November 27, 2024 15:02

herndlm

opened #3682

herndlm:list-assign-offset-1

Status Success

Total duration 29s

Artifacts –

merge-bot-pr.yml

on: pull_request