Merge bot PR

Update RangeFunctionReturnTypeExtension to include known integer ranges for keys #3440

Sign in to view logs

Triggered via pull request August 20, 2025 19:27

PrinsFrank

opened #4251

PrinsFrank:range-returns-list-with-known-nr-of-elements

Status Success

Total duration 20s

Artifacts –

merge-bot-pr.yml

on: pull_request