Skip to content
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

chore(main): release 0.17.1 #875

Merged
merged 1 commit into from
Mar 24, 2025
Merged

chore(main): release 0.17.1 #875

merged 1 commit into from
Mar 24, 2025

Conversation

hugrbot
Copy link
Collaborator

@hugrbot hugrbot commented Mar 21, 2025

🤖 I have created a release beep boop

0.17.1 (2025-03-24)

Features

Bug Fixes

  • qsystem: remove unsupported random_nat and maybe_rng (635e7ed)

Documentation


This PR was generated with Release Please. See documentation.

@codecov-commenter
Copy link

codecov-commenter commented Mar 21, 2025

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 93.05%. Comparing base (8b1e2a1) to head (032cf81).

Additional details and impacted files
@@           Coverage Diff           @@
##             main     #875   +/-   ##
=======================================
  Coverage   93.05%   93.05%           
=======================================
  Files          75       75           
  Lines        8860     8860           
=======================================
  Hits         8245     8245           
  Misses        615      615           

☔ 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 branch 2 times, most recently from af576b9 to 272996a Compare March 24, 2025 10:15
@hugrbot hugrbot changed the title chore(main): release 0.18.0 chore(main): release 0.17.1 Mar 24, 2025
@hugrbot hugrbot force-pushed the release-please--branches--main branch 2 times, most recently from 216dda7 to ac750e2 Compare March 24, 2025 12:55
@hugrbot hugrbot force-pushed the release-please--branches--main branch from ac750e2 to 032cf81 Compare March 24, 2025 14:22
@doug-q doug-q marked this pull request as ready for review March 24, 2025 14:41
@doug-q doug-q requested review from mark-koch, aborgna-q, ss2165, doug-q and a team as code owners March 24, 2025 14:41
@doug-q doug-q added this pull request to the merge queue Mar 24, 2025
Merged via the queue into main with commit 4389b7c Mar 24, 2025
4 checks passed
@doug-q doug-q deleted the release-please--branches--main branch March 24, 2025 15:32
@hugrbot
Copy link
Collaborator Author

hugrbot commented Mar 24, 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.

5 participants