Skip to content

chore: release v0.17.1#714

Open
github-actions[bot] wants to merge 1 commit intomainfrom
release-plz-2026-04-11T15-50-11Z
Open

chore: release v0.17.1#714
github-actions[bot] wants to merge 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 2 times, most recently from 567660b to 7fdd2c4 Compare April 20, 2026 16:13
@github-actions github-actions Bot force-pushed the release-plz-2026-04-11T15-50-11Z branch from 7fdd2c4 to 53c5e90 Compare April 20, 2026 23:47
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.

0 participants