Skip to content
Release-please 🐍

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

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

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

release-please.yml

on: push
Create release PR
20s
Create release PR
Fit to window
Zoom out
Zoom in