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

Triggered via push August 29, 2024 10:38
@github-merge-queuegithub-merge-queue[bot]
pushed 331125a
main
Status Success
Total duration 40m 10s
Artifacts –

unsoundness.yml

on: push
Miri
40m 1s
Miri
Fit to window
Zoom out
Zoom in