Skip to content

«Baum»: no box hint; the → chain export copies the whole statement (checked) - #58

Merged
cedricvogel-leo merged 1 commit into
mainfrom
fix/baum-no-box-hint
Nov 8, 2026
Merged

cedricvogel-leo merged 1 commit into
mainfrom
fix/baum-no-box-hint

«Baum»: no box hint; the → chain export checked to copy the whole sta…

be9ec34
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

2 warnings and 2 notices
check
succeeded Nov 8, 2026 in 2m 8s