Skip to content

fix: require pinHeader pinCount to be a positive integer (#756) - #757

Closed
DPS0340 wants to merge 1 commit into
tscircuit:mainfrom
DPS0340:fix/pinheader-pincount-integer
Closed

fix: require pinHeader pinCount to be a positive integer (#756)#757
DPS0340 wants to merge 1 commit into
tscircuit:mainfrom
DPS0340:fix/pinheader-pincount-integer

Commits

Commits on Jul 25, 2026