Skip to content

Rename the precondition helpers to short_circuit - #9406

Merged
connortsui20 merged 1 commit into
developfrom
ct/rename-precondition-short-circuit
Aug 18, 2026
Merged

Rename the precondition helpers to short_circuit#9406
connortsui20 merged 1 commit into
developfrom
ct/rename-precondition-short-circuit

Commits

Commits on Aug 17, 2026