Skip to content
PR CI

fix(go): make all type conversion shape public and delegate type conversion to dependent shape #2436

Sign in to view logs

fix(go): make all type conversion shape public and delegate type conversion to dependent shape

fix(go): make all type conversion shape public and delegate type conversion to dependent shape #2436

pr-populate-dafny-versions

pr-populate-dafny-versions
succeeded Jan 29, 2025 in 0s