Skip to content
Build and publish python wheels

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

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) #401

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Build and publish wheels (hugr-py, hugr)
9s
9s