Labels
Labels
31 labels
breaking
breaks printing
bug
bug: crash
bug: unexpected error
bug: wrong result
decision
dependencies
DO NOT MERGE
doc
duplicate
enhancement
github_actions
good first issue
help wanted
invalid
julia_community
merge me
optimization
question
release notes: added
release notes: highlight
PRs introducing changes that should be highlighted at the top of the release notesrelease notes: multiple
PRs introducing changes that require multiple entries in the release notes (TO BE AVOIDED!!!)release notes: not needed
release notes: to be added
PRs introducing changes that should be (but have not yet been) mentioned in the release notesrelease notes: use title
For PRs: the title of this PR is suitable for direct use in the release notesRNG
self-contained task
test
triage