Merge bot PR

Remove count() narrowing handling of empty array #3085

Sign in to view logs

Triggered via pull request March 22, 2025 09:33

herndlm

opened #3896

herndlm:count-empty-array-handling

Status Success

Total duration 24s

Artifacts –

merge-bot-pr.yml

on: pull_request