Skip to content

chore: release v0.17.1#714

Merged
Amanieu merged 1 commit intomainfrom
release-plz-2026-04-11T15-50-11Z
May 9, 2026
Merged

chore: release v0.17.1#714
Amanieu merged 1 commit intomainfrom
release-plz-2026-04-11T15-50-11Z

Conversation

@github-actions
Copy link
Copy Markdown
Contributor

@github-actions github-actions Bot commented Apr 11, 2026

🤖 New release

  • hashbrown: 0.17.0 -> 0.17.1 (✓ API compatible changes)
Changelog

0.17.1 - 2026-04-20

Other

  • Move the RustcOccupiedError note as requested in review
  • Add HashMap::rustc_try_insert
  • Merge pull request Rename master to main in release-plz workflow #721 from clarfonthey/branch-rename
  • Rename master to main in release-plz workflow
  • use immediate form of vori for DELETED tag mask
  • use immediate form of vslti for zero comparison


This PR was generated with release-plz.

@github-actions github-actions Bot force-pushed the release-plz-2026-04-11T15-50-11Z branch 2 times, most recently from 3f8f6ef to 3bd985e Compare April 15, 2026 22:48
@github-actions github-actions Bot force-pushed the release-plz-2026-04-11T15-50-11Z branch 3 times, most recently from 7fdd2c4 to 53c5e90 Compare April 20, 2026 23:47
@Amanieu Amanieu force-pushed the release-plz-2026-04-11T15-50-11Z branch from 53c5e90 to c62a63a Compare May 9, 2026 04:18
@Amanieu Amanieu enabled auto-merge May 9, 2026 04:18
@Amanieu
Copy link
Copy Markdown
Member

Amanieu commented May 9, 2026

@cuviper @clarfonthey In the future feel free to merge the release PRs yourself if a release is needed. Do make sure to rewrite the changelog entry though since the auto-generated one is pretty bad.

@Amanieu Amanieu added this pull request to the merge queue May 9, 2026
Merged via the queue into main with commit eb1ed06 May 9, 2026
25 checks passed
@clarfonthey clarfonthey deleted the release-plz-2026-04-11T15-50-11Z branch May 9, 2026 04:35
@clarfonthey
Copy link
Copy Markdown
Contributor

Will admit that I personally hate release-plz entirely because of the poor quality of the changelogs I see here, but assuming it does the rest of the release process fine, I was kind of expecting to have to do the changelogs manually anyway.

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

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants