Skip to content
PR CI

fix(Python): Support orphaned shapes, update Config shape generation #1600

Sign in to view logs

fix(Python): Support orphaned shapes, update Config shape generation

fix(Python): Support orphaned shapes, update Config shape generation #1600

pr-populate-dafny-versions

pr-populate-dafny-versions
succeeded Oct 10, 2024 in 0s