feat: Split methods between HugrMut
and HugrMutInternals
#1503
Job | Run time |
---|---|
58s | |
2m 8s | |
2m 32s | |
2m 1s | |
1m 22s | |
1m 29s | |
10m 30s |
HugrMut
and HugrMutInternals
#1503
Job | Run time |
---|---|
58s | |
2m 8s | |
2m 32s | |
2m 1s | |
1m 22s | |
1m 29s | |
10m 30s |