Skip to content

fix(auto): block nonterminal safe-default synthesis

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

fix(auto): close safe-default synthesis ack #1220

fix(auto): block nonterminal safe-default synthesis
bc2ef97
Select commit
Loading
Failed to load commit list.

Annotations

1 warning
enforce-boundary
succeeded May 25, 2026 in 7s