Skip to content
Unsoundness checks

fix(hugr-py): record node children correctly when deserializing (#1480) #763

Sign in to view logs

fix(hugr-py): record node children correctly when deserializing (#1480)

fix(hugr-py): record node children correctly when deserializing (#1480) #763

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Miri
40m 1s
40m 1s