Skip to content

chore: bump rand to 0.9.3 and 0.10.1 (#2756)#2774

Merged
mmagician merged 1 commit intomainfrom
mmagician-update-rand-main
Apr 15, 2026
Merged

chore: bump rand to 0.9.3 and 0.10.1 (#2756)#2774
mmagician merged 1 commit intomainfrom
mmagician-update-rand-main

Conversation

@mmagician
Copy link
Copy Markdown
Collaborator

cherry-picked @PhilippGackstatter's commit to main
(otherwise patch releases to main fail the cargo-deny CI check e.g. here)

@mmagician mmagician added no changelog This PR does not require an entry in the `CHANGELOG.md` file pr-from-maintainers PRs that come from internal contributors or integration partners. They should be given priority labels Apr 15, 2026
@mmagician mmagician enabled auto-merge April 15, 2026 09:00
@mmagician mmagician merged commit 42e3434 into main Apr 15, 2026
18 of 19 checks passed
@mmagician mmagician deleted the mmagician-update-rand-main branch April 15, 2026 09:17
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

no changelog This PR does not require an entry in the `CHANGELOG.md` file pr-from-maintainers PRs that come from internal contributors or integration partners. They should be given priority

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants