Merge bot PR

Improve return type of `array_splice()` #3136

Sign in to view logs

Triggered via pull request April 18, 2025 14:47

herndlm

opened #3947

herndlm:improve-array-splice-return-type

Status Success

Total duration 30s

Artifacts –

merge-bot-pr.yml

on: pull_request