Skip to content

fix: refine how simp tracks unfolded local definitions #10536

fix: refine how simp tracks unfolded local definitions

fix: refine how simp tracks unfolded local definitions #10536

Triggered via pull request June 13, 2025 01:23
@kmillkmill
closed #8753
Status Success
Total duration 8s
Artifacts

backport.yml

on: pull_request_target
Backport
5s
Backport
Fit to window
Zoom out
Zoom in