fix: extract_hugr
not removing root node ports
#2268
Job | Run time |
---|---|
5s | |
5s |
extract_hugr
not removing root node ports
#2268
Job | Run time |
---|---|
5s | |
5s |