Skip to content

No labels!

There aren’t any labels for this repository quite yet.

30 labels

Sort
Sort
Alphabetically
Reverse alphabetically
Most issues
Fewest issues
breaking
breaking
1
breaks printing
breaks printing
1
bug
bug
1
bugfix
bugfix
This change fixes an existing bug
decision
decision
1
dependencies
dependencies
Pull requests that update a dependency file
DO NOT MERGE
DO NOT MERGE
1
doc
doc
This change adds or pertains to documentation
4
don't squash!
don't squash!
duplicate
duplicate
enhancement
enhancement
2
fix
fix
flint 2.9
flint 2.9
help wanted
help wanted
invalid
invalid
merge me
merge me
needs FLINT release
needs FLINT release
4
needs merge commit
needs merge commit
nightly
nightly
question
question
release notes: added
release notes: added
PRs introducing changes that have since been mentioned in the release notes
release notes: highlight
release notes: highlight
PRs introducing changes that should be highlighted at the top of the release notes
release notes: multiple
release notes: multiple
PRs introducing changes that require multiple entries in the release notes (TO BE AVOIDED!!!)
release notes: not needed
release notes: not needed
PRs introducing changes that are wholly irrelevant to the release notes
3
release notes: to be added
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
release notes: use title
For PRs: the title of this PR is suitable for direct use in the release notes
RNG
RNG
test
test
This change adds or pertains to unit tests
triage
triage
wontfix
wontfix