1 Pull request merged by 1 person

• chore(deps-rs): bump the minor group with 3 updates

  #1916 merged Feb 11, 2025

1 Issue opened by 1 person

• Add extension points for customising the lowering of strings in `PreludeCodegen`

  #1917 opened Feb 12, 2025

2 Unresolved conversations

Sometimes conversations happen on old items that aren’t yet closed. Here is a list of all the Issues and Pull Requests with unresolved conversations.

• chore(main): release hugr-py 0.10.3

  #1854 commented on Feb 11, 2025 • 0 new comments

• chore: release v0.14.4

  #1913 commented on Feb 11, 2025 • 0 new comments