Skip to content

One missing brace in 27 specs — the cross-target proof was never running - #2186

Merged
gHashTag merged 1 commit into
masterfrom
loop/t27-genrust-width
Aug 18, 2026
Merged

One missing brace in 27 specs — the cross-target proof was never running#2186
gHashTag merged 1 commit into
masterfrom
loop/t27-genrust-width