chore(main): release 0.13.0

[hugrbot]

trafficstars

:robot: I have created a release beep boop

0.13.0 (2024-10-09)

⚠ BREAKING CHANGES

• Removed the linst type, use list instead.
• Unsupported list methods have been removed.

Features

• Allow linear data inside lists (#531) (229be2e)
• Allow py expressions in type arguments (#515) (b4fae3f)
• Update Hugr lowering for lists (#534) (7083760)

Bug Fixes

• Fix printing of generic function parameters (#516) (5c18ef6), closes #482

Miscellaneous Chores

• Remove linst type (#533) (3717bae)

---

This PR was generated with Release Please. See documentation.

[codecov-commenter]

Codecov Report

All modified and coverable lines are covered by tests :white_check_mark:

Project coverage is 92.45%. Comparing base (b2d569b) to head (6b35449).

Additional details and impacted files

@@           Coverage Diff           @@
##             main     #518   +/-   ##
=======================================
  Coverage   92.45%   92.45%           
=======================================
  Files          66       66           
  Lines        7465     7465           
=======================================
  Hits         6902     6902           
  Misses        563      563           

:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Have feedback on the report? Share it here.

[aborgna-q]

Go home hugrbot, you are drunk!

Next time we do a python patch release, we may have to temporarily set last-release-sha in the manifest so the bot can compute the right commit list. And probably add a release-as tag in the PR message.

[hugrbot]

:robot: Created releases:

• v0.13.0 :sunflower: