Labels

• breaking
• breaks printing
• bug
• bugfix

  This change fixes an existing bug
• decision
• dependencies

  Pull requests that update a dependency file
• DO NOT MERGE
• doc

  This change adds or pertains to documentation
• don't squash!
• duplicate
• enhancement
• fix
• flint 2.9
• github_actions

  Pull requests that update GitHub Actions code
• help wanted
• invalid
• merge me
• needs AbstractAlgebra release
• needs FLINT release
• needs merge commit
• nightly
• question
• release notes: added

  PRs introducing changes that have since been mentioned in the release notes
• release notes: highlight

  PRs introducing changes that should be highlighted at the top of the release notes
• release notes: multiple

  PRs introducing changes that require multiple entries in the release notes (TO BE AVOIDED!!!)
• release notes: not needed

  PRs introducing changes that are wholly irrelevant to the release notes
• release notes: to be added

  PRs introducing changes that should be (but have not yet been) mentioned in the release notes
• release notes: use title

  For PRs: the title of this PR is suitable for direct use in the release notes
• RNG
• test

  This change adds or pertains to unit tests