Merge bot PR

Fix generalizing constant arrays when the array is getting smaller #3053

Sign in to view logs

Triggered via pull request March 9, 2025 08:01

opened #3864

scope-generalize

Status Success

Total duration 28s

Artifacts –

merge-bot-pr.yml

on: pull_request