Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
chore(main): release hugr-py 0.8.1 (#1505)
🤖 I have created a release *beep* *boop* --- ## [0.8.1](hugr-py-v0.8.0...hugr-py-v0.8.1) (2024-09-04) ### Features * Export the collections extension ([#1506](#1506)) ([70e0a64](70e0a64)) ### Bug Fixes * Export the float ops extension ([#1517](#1517)) ([4cbe890](4cbe890)) * IndexError on node slicing ([#1500](#1500)) ([a32bd84](a32bd84)) * Update collections extension ([#1518](#1518)) ([60e1da0](60e1da0)) --- This PR was generated with [Release Please](https://github.com/googleapis/release-please). See [documentation](https://github.com/googleapis/release-please#release-please).
- Loading branch information