Skip to content

Skip deep expression when root expression changes while scope generalization #3578

Skip deep expression when root expression changes while scope generalization

Skip deep expression when root expression changes while scope generalization #3578

Triggered via pull request September 29, 2025 10:08
Status Success
Total duration 17s
Artifacts

merge-bot-pr.yml

on: pull_request
Automerge PRs
14s
Automerge PRs
Fit to window
Zoom out
Zoom in