fix: extract_hugr
not removing root node ports
#1124
This job succeeded
Loading
extract_hugr
not removing root node ports
#1124