Skip to content

chore: pin rand version used for fuzzing#7897

Merged
abernix merged 1 commit intodevfrom
pin-rand
Jul 16, 2025
Merged

chore: pin rand version used for fuzzing#7897
abernix merged 1 commit intodevfrom
pin-rand

Conversation

@goto-bus-stop
Copy link
Copy Markdown
Member

This rand version must be aligned with the bnf version used, as we pass a random number generator to bnf::Grammar::generate.

In the next version of bnf, we can remove our rand dependency thanks to shnewto/bnf#175.

Until then, we should pin it with = syntax so renovate stops making PRs for it that can't be merged.

#7857 should be closed by renovate after landing this


Checklist

Complete the checklist (and note appropriate exceptions) before the PR is marked ready-for-review.

  • PR description explains the motivation for the change and relevant context for reviewing
  • Changes are compatible1
  • Documentation2 completed

Notes

Footnotes

  1. It may be appropriate to bring upcoming changes to the attention of other (impacted) groups. Please endeavour to do this before seeking PR approval. The mechanism for doing this will vary considerably, so use your judgement as to how and when to do this.

  2. Configuration is an important part of many changes. Where applicable please try to document configuration examples.

This `rand` version must be aligned with the `bnf` version used, as we
pass a random number generator to `bnf::Grammar::generate`.

In the next version of `bnf`, we can remove our `rand` dependency thanks
to shnewto/bnf#175.

Until then, we should pin it with `=` syntax so renovate stops making
PRs for it that can't be merged.
@apollo-librarian

This comment was marked as off-topic.

@goto-bus-stop goto-bus-stop requested a review from a team July 16, 2025 08:49
@github-actions

This comment was marked as resolved.

@abernix abernix enabled auto-merge (squash) July 16, 2025 08:50
@abernix abernix merged commit 1d39918 into dev Jul 16, 2025
14 checks passed
@abernix abernix deleted the pin-rand branch July 16, 2025 09:09
@CrockAgile CrockAgile mentioned this pull request Feb 5, 2026
10 tasks
@mergify mergify bot mentioned this pull request Mar 2, 2026
10 tasks
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