Skip to content

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

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

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

Triggered via push August 29, 2024 10:38
Status Success
Total duration 17s
Artifacts 1
Matrix: Build and publish wheels
Fit to window
Zoom out
Zoom in

Annotations

1 notice
sccache stats
0% - 0 hits, 0 misses, 0 errors

Artifacts

Produced during runtime
Name Size
build-hugr-sdist Expired
185 KB