Skip to content
New issue

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

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

Already on GitHub? # to your account

chore(rust): Release v0.12.0 #338

Merged
merged 5 commits into from
Jul 17, 2024
Merged

chore(rust): Release v0.12.0 #338

merged 5 commits into from
Jul 17, 2024

Conversation

romac
Copy link
Member

@romac romac commented Jul 17, 2024

No description provided.

Copy link

codecov bot commented Jul 17, 2024

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 65.55%. Comparing base (05a09dc) to head (06a22a0).

Additional details and impacted files
@@           Coverage Diff           @@
##           master     #338   +/-   ##
=======================================
  Coverage   65.55%   65.55%           
=======================================
  Files           7        7           
  Lines        3609     3609           
=======================================
  Hits         2366     2366           
  Misses       1243     1243           
Flag Coverage Δ
rust 65.55% <ø> (ø)

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.

@romac romac changed the title rust: Release v0.12.0 chore(rust): Release v0.12.0 Jul 17, 2024
@romac romac marked this pull request as draft July 17, 2024 13:32
@romac
Copy link
Member Author

romac commented Jul 17, 2024

Let's wait until v0.11.2 is released before we do the v0.12.0 release.

romac and others added 3 commits July 17, 2024 16:18
* Enforce that the spec.InnerSpec.ChildSize is >= 1

* Add changelog entry

---------

Co-authored-by: Romain Ruetschi <romain@informal.systems>
@romac romac force-pushed the rust/release/v0.12.0 branch from afc9e3f to 7e270b1 Compare July 17, 2024 14:27
* Bump version to 0.11.3

* Update changelog
@romac romac marked this pull request as ready for review July 17, 2024 15:56
@romac romac merged commit d7cc4a5 into master Jul 17, 2024
7 checks passed
@romac romac deleted the rust/release/v0.12.0 branch July 17, 2024 16:00
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants