Skip to content

chore(main): release hugr-py 0.12.1 #2230

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 2 commits into from
May 20, 2025

Conversation

hugrbot
Copy link
Collaborator

@hugrbot hugrbot commented May 16, 2025

🤖 I have created a release beep boop

0.12.1 (2025-05-20)

Bug Fixes

  • handle order port case for missing dataflow ops (#2238) (dc44b81)
  • py: deprecate extensions sets in values (#2233) (fe98ba1)

Documentation

  • update hugr-py docs appearance, add HUGR logo (#2222) (fefa599)

This PR was generated with Release Please. See documentation.

Copy link

codecov bot commented May 16, 2025

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 82.04%. Comparing base (dc44b81) to head (21ef57f).
Report is 1 commits behind head on main.

Additional details and impacted files
@@           Coverage Diff           @@
##             main    #2230   +/-   ##
=======================================
  Coverage   82.04%   82.04%           
=======================================
  Files         234      234           
  Lines       41704    41704           
  Branches    37616    37616           
=======================================
  Hits        34216    34216           
  Misses       5513     5513           
  Partials     1975     1975           
Flag Coverage Δ
python 85.34% <100.00%> (ø)

Flags with carried forward coverage won't be shown. Click here to find out more.

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

@hugrbot hugrbot force-pushed the release-please--branches--main--components--hugr-py branch 3 times, most recently from 3b26a00 to 1fab280 Compare May 20, 2025 09:24
@hugrbot hugrbot force-pushed the release-please--branches--main--components--hugr-py branch from 1fab280 to af91965 Compare May 20, 2025 16:18
@ss2165 ss2165 marked this pull request as ready for review May 20, 2025 16:25
@ss2165 ss2165 requested review from aborgna-q, cqc-alec, doug-q and a team as code owners May 20, 2025 16:25
@ss2165 ss2165 enabled auto-merge May 20, 2025 16:25
@ss2165 ss2165 added this pull request to the merge queue May 20, 2025
Merged via the queue into main with commit 9b3fbb4 May 20, 2025
26 checks passed
@ss2165 ss2165 deleted the release-please--branches--main--components--hugr-py branch May 20, 2025 16:29
@hugrbot
Copy link
Collaborator Author

hugrbot commented May 20, 2025

🤖 Created releases:

🌻

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants