To go with release that includes https://github.com/Quantinuum/guppylang/pull/1165
To go with release that includes Quantinuum/guppylang#1165